jEdit doesn't recognize the mac option key at all (presumably should map to "meta"). According to conversation on the mailing list, it relates to the following KeyEventTranslator code:
InputEvent.META_MASK, /* == C+ */
InputEvent.CTRL_MASK, /* == A+ */
/* M+ discarded by key event workaround! */
InputEvent.ALT_MASK, /* == M+ */
InputEvent.SHIFT_MASK /* == S+ */);
Unfortunately, it looks like the following bug explains why this happens:
The easily solution here is to do things the mac-way and only allow "option" commands to be used in conjunction with other modifier keys (command or control), similar to the shift key.
Log in to post a comment.