| 250 | } |
| 251 | |
| 252 | private static void addOSXKeyStrokes(InputMap inputMap) { |
| 253 | |
| 254 | // Undo and redo require more complex handling |
| 255 | inputMap.put(KeyStroke.getKeyStroke(KeyEvent.VK_C, KeyEvent.META_DOWN_MASK), DefaultEditorKit.copyAction); |
| 256 | inputMap.put(KeyStroke.getKeyStroke(KeyEvent.VK_X, KeyEvent.META_DOWN_MASK), DefaultEditorKit.cutAction); |
| 257 | inputMap.put(KeyStroke.getKeyStroke(KeyEvent.VK_V, KeyEvent.META_DOWN_MASK), DefaultEditorKit.pasteAction); |
| 258 | inputMap.put(KeyStroke.getKeyStroke(KeyEvent.VK_A, KeyEvent.META_DOWN_MASK), DefaultEditorKit.selectAllAction); |
| 259 | |
| 260 | } |
| 261 | |
| 262 | private static void fixJavaBug() { |
| 263 | // Set any bespoke system properties. |