| | 32 | if (Main.withOSXIntegration) { |
| | 33 | // actually using Event.CTRL_MASK is wrong, we should use |
| | 34 | // Toolkit.getDefaultToolkit().getMenuShortcutKeyMask() |
| | 35 | // instead. But I don't want to change too many files, so |
| | 36 | // just swap CTRL and META when on OSX... |
| | 37 | if ((modifier & InputEvent.CTRL_MASK) != 0) { |
| | 38 | modifier = (modifier & ~ InputEvent.CTRL_MASK) | InputEvent.META_MASK; |
| | 39 | } else if ((modifier & InputEvent.META_MASK) != 0) { |
| | 40 | modifier = (modifier & ~ InputEvent.META_MASK) | InputEvent.CTRL_MASK; |
| | 41 | } else if ((modifier & InputEvent.CTRL_DOWN_MASK) != 0) { |
| | 42 | modifier = (modifier & ~ InputEvent.CTRL_DOWN_MASK) | InputEvent.META_DOWN_MASK; |
| | 43 | } else if ((modifier & InputEvent.META_DOWN_MASK) != 0) { |
| | 44 | modifier = (modifier & ~ InputEvent.META_DOWN_MASK) | InputEvent.CTRL_DOWN_MASK; |
| | 45 | } |
| | 46 | } |