Using jedit trunk with the Mac OS X plugin (SVN revision 23203), the Apple Preferences menu item uses the official Apple key for that: COMMAND comma. This is in conflict with the traditional jEdit shortcut quick-search.shortcut=C+COMMA.
Even in keymaps/Mac_OS_X_keys.props there is no attempt yet, to evade to a different key. Alternatively, one could try to convince the Apple application wrapper not to use their standard key, but hardcore Mac users might complain.
Log in to post a comment.