Menu ▾ ▴

#3832 Mac OS X: conflict of C+COMMA with preferences

open
Makarius
MacOSX specific (474)
5
2013-10-07
2013-09-23
Makarius
No

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.

Discussion

  • Alan Ezust

    Alan Ezust - 2013-09-23
    • assigned_to: nobody --> ezust
    • status: open --> closed-fixed
     

  • Alan Ezust

    Alan Ezust - 2013-09-23

    Committed rev 23207 to the mac keymaps file.
    Do we need to change the default jEdit keymap? Personally, I don't even look at it anymore since I am maintaining the emacs keymap.
    If you think there are other changes that are needed to the mac os x keymap, you can commit those directly.

     

  • Alan Ezust

    Alan Ezust - 2013-09-23
    • assigned_to: ezust --> makarius
    • status: closed-fixed --> open
     

  • Alan Ezust

    Alan Ezust - 2013-09-23

    oops. my fix introduced another conflict. I don't know what the appropriate key is. Can you fix this yourself?

     

  • Alan Ezust

    Alan Ezust - 2013-10-07
    • labels: --> MacOSX specific
     

Log in to post a comment.