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.
Log in to post a comment.