The following patch against 5.0.0 (or trunk) is the result of studying key events several hours in Windows, Linux, Mac OS X, all with recent jdk-7 (e.g. 7u9).
The patch addresses a misinterpretation of ALT_KEY_PRESSED_DISABLED==true if ALTERNATIVE_DISPATCHER==false: the exclusive-or of CTRL + ALT needs to take ALT_KEY_PRESSED_DISABLED into account and ignore ALT accordingly. I reckon that historically, ALT_KEY_PRESSED_DISABLED and ALTERNATIVE_DISPATCHER were usually either both on or both off.
To understand the background of the patch, note that on Windows CTRL + ALT together used to be what is now a physical ALT_GRAPH key. In contrast, Mac OS X lacks ALT_GRAPH and both ALT keys produce an ALT modifier, but this needs to be ignored in the sense of ALT_KEY_PRESSED_DISABLED to make jEdit work -- ALT is then treated like SHIFT as integral part of the key event.
All very confusing, especially due to the "yes I mean no" nature of ALT_KEY_PRESSED_DISABLED.
Anyway, making the boolean expression more precise miraculously makes jdk-7 with German keymap work on Mac OS X, unlike the earlier attempt in http://sourceforge.net/tracker/index.php?func=detail&aid=3558572&group_id=588&atid=300588
The change should be conservative for everybody else. Many people have tested it with all platforms over several weeks (using jdk-7). Note that with jdk-6 on Mac OS X, you normally don't pass through this if statement, which also explains why the problem was not encountered before.
Makarius ( makarius ) - 2013-02-13 08:18:24 PST
|close_date||-||2013-03-14 14:39:53 PDT||elberry|
|allow_comments||1||2013-03-14 14:39:53 PDT||elberry|
|assigned_to||ezust||2013-03-14 14:39:53 PDT||elberry|
|resolution_id||None||2013-03-14 14:39:53 PDT||elberry|
|status_id||Open||2013-03-14 14:39:53 PDT||elberry|
|assigned_to||nobody||2013-02-26 14:08:36 PST||ezust|
|assigned_to||elberry||2013-02-17 13:11:25 PST||elberry|
|assigned_to||nobody||2013-02-16 22:05:56 PST||ezust|
|File Added||460517: patch||2013-02-13 08:18:27 PST||makarius|