The most devious shift bug...

[Tuomas Lukka <lukka@xxxxxxxxxxx>]

Finally I cracked the shift bug: this is where, on linux and windows,
shift doesn't always cause the capital character. 

The crux is that if you release the shift key too early, the key released
event which we use now gets the key without the shift.

YUCK!

I'll start thinking of a fix right now.

	Tuomas