This is jEdit5.2pre1 on Mac OS X (Mavericks or Mountain Lion) and Java 7u55.
The immediate problem is that the action bar cannot be opened via its usual keyboard
shortcut C+ENTER. Trying that, it shows up briefly but closes again, after the focus
is given to the buffer switcher in the top.
Another coincidence is the menu: the primary shortcut C+ENTER is turned into a menu
action, but deleting it and using C+ENTER as *alternative* shortcut instead, the keyboard
action becomes usable again.
Note that it is important that the Mac OS X Look-and-Feel is enabled and the application
bundle is used. The problem is absent with Nimbus or when running `java -jar jedit.jar`
from the command-line.
| Submitted | makarius - 2014-05-27 17:45:58.890000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | normal bug |
| Resolution | None |