In the latest DrJava (20020709-0226), keyboard shortcuts are QUERTY-only, i.e., I use a Dvorak keyboard layout, but starting with this version, I have to use the QWERTY ZXCV locations for undo-cut-copy-paste. The stable release of DrJava (20020703-1520) didn't have this problem.
I'm running under MacOS X 10.1.5; I don't know if this is Mac-specific. (I should've tried it on my Linux machine yesterday.)
Logged In: YES
user_id=343403
I suspect this bug has the same root cause of #516842 and
that it is Mac specific. I suggest looking up more info in
the Mac JVM docs/lists/etc.
Logged In: YES
user_id=429731
Matthew-- have you checked to see if the bug is reproducible
on Linux yet?
The new version of DrJava has support for configurable key
bindings, but that involved significantly changing the way
we listen to keyboard events. Of course, if Java is
reporting the correct KeyEvent objects, there shouldn't be
any problem here... If it does turn out to be a problem in
our code, we should be able to look into a way to fix it,
but we'll probably need your help, since I don't think any
of us have a Dvorak keyboard. (It's probably also worth
looking at the OS X Java mailing lists...)
In the meantime, of course, you could try using the
configurable key bindings to change the actions to the
"correct" keys (or use the stable version). I assume this
happens on all the key bindings (such as CTRL+K), and not
just the editor-default ones (such as CTRL+C)?
Logged In: YES
user_id=428547
The bug does not appear on Linux, but yes, it applies to all
key bindings. So it's probably OS X-specific, but I wasn't
able to find any information on the web about it. (Of
course, I don't know how you now listen for keyboard
events.)
Logged In: YES
user_id=429731
The most recent release changed one part of how we deal with
key-bindings (since we weren't generating correct
ActionEvents before). I doubt this will fix the problem,
but you might want to try out the drjava-20020731-1445
release to see if it helps at all.
One other thing I noticed-- JEdit (from www.jedit.org) has a
tool to display the output of KeyEvents (Utilities >
Keyboard tester). I'd be interested if you could send me
the output it produces for a few common keys (maybe a letter
or two, an arrow key, and the command key) so I could
compare it to what I get on my machine. I might be able to
track down the differences in our code, or we'd at least
find out if Java is doing something wrong.