|
From: Matthew Z. <mat...@sp...> - 2008-09-01 16:17:45
|
On Sat, 30 Aug 2008 10:16:55 +0100, e-letter <in...@gm...> wrote: >> It's possible that the JVM isn't cleanly handling this. Since you may >> be the only one here in possession of a Dvorak keyboard, you may be >> able to shed some light on what is happening. On both a regular >> keyboard and a Dvorak keyboard, try some of the problem-child >> keystrokes using: >> Utilities|Troubleshooting|Keyboard Tester... > ctrl+j in uk dvorak but recognised by jedit as ctrl+c original querty key > Event > KEY_PRESSED,keyCode=0x11,keyChar=0xffff,modifiers=0x2,consumed=0 > filtered > Event KEY_PRESSED,keyCode=0x43,keyChar=0xa,modifiers=0x2,consumed=0 passed > ==> Translated to C<0,63> > Event KEY_TYPED,keyCode=0x0,keyChar=0xa,modifiers=0x2,consumed=0 passed > Event KEY_RELEASED,keyCode=0x43,keyChar=0xa,modifiers=0x2,consumed=0 passed > Event > KEY_RELEASED,keyCode=0x11,keyChar=0xffff,modifiers=0x0,consumed=0 > filtered > > Keyboard setting changed using keyboard preferences > > gnome 220 > java 150 (Java(TM) 2 Runtime Environment, Standard Edition (build > pxi32devifx-20071025 (SR6b)) > IBM J9 VM (build 2.3, J2RE 1.5.0 IBM J9 2.3 Linux x86-32 > j9vmxi3223-20071005 (JIT enabled) > J9VM - 20071004_14218_lHdSMR > JIT - 20070820_1846ifx1_r8 > GC - 200708_10) > JCL - 20071025) > jedit 43pre11 > > A dev would have to comment on the actual event key processing but I suspect the problem is outside of jEdit. Couple of items I see: * You are not running anywhere near the latest version of jEdit * You are running an old JVM that wasn't developed by Sun. Your problem could be this IBM JVM. Either install and try a Sun edition or upgrade your IBM JVM and see if that fixes the problem. Or do both. I've lost count of how many things in Java apps "just start working" if I install the latest JVM. --Matthew |