Changeset 17776 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2021-04-13T23:00:13+02:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/InputMapUtils.java
r14691 r17776 126 126 */ 127 127 public static void addCtrlEnterAction(JComponent c, Action a) { 128 final KeyStroke stroke = KeyStroke.getKeyStroke(KeyEvent.VK_ENTER, InputEvent.CTRL_DOWN_MASK);128 final KeyStroke stroke = KeyStroke.getKeyStroke(KeyEvent.VK_ENTER, PlatformManager.getPlatform().getMenuShortcutKeyMaskEx()); 129 129 c.getActionMap().put("ctrl_enter", a); 130 130 c.getInputMap(JComponent.WHEN_IN_FOCUSED_WINDOW).put(stroke, "ctrl_enter");
Note:
See TracChangeset
for help on using the changeset viewer.