Tuomas Lukka wrote: > We should make an extra class that all keyevents go through, with a name like > ZZUmlautHack.java. This class sniffs the behaviour and does the right thing > (returns the right type of keyevent)( I'll call it ZZKeyHacks -- that way, we can use it for other ideosyncratic Java key stuff, too. -b.