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.
Submitted | makarius - 2013-09-23 15:42:02 | Assigned | makarius |
---|---|---|---|
Priority | 5 | Labels | MacOSX specific |
Status | open | Group | None |
Resolution | None |
2013-09-23 23:07:39 ezust |
- **assigned_to**: nobody --> ezust |
---|---|
2013-09-23 23:07:39 ezust |
Committed rev 23207 to the mac keymaps file.
|
2013-09-23 23:26:02 ezust |
oops. my fix introduced another conflict. I don't know what the appropriate key is.
Can you fix this yourself?
|
2013-09-23 23:26:02 ezust |
- **assigned_to**: ezust --> makarius |
2013-10-07 21:52:47 ezust |
- **labels**: --> MacOSX specific |