Changeset 13504 in josm
- Timestamp:
- 2018-03-04T19:22:49+01:00 (7 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/widgets/TextContextualPopupMenu.java
r12846 r13504 5 5 6 6 import java.awt.GraphicsEnvironment; 7 import java.awt.Toolkit;8 7 import java.awt.event.ActionEvent; 9 8 import java.awt.event.KeyEvent; … … 23 22 import javax.swing.undo.UndoManager; 24 23 24 import org.openstreetmap.josm.Main; 25 25 import org.openstreetmap.josm.spi.preferences.Config; 26 26 import org.openstreetmap.josm.tools.ImageProvider; … … 86 86 if (!GraphicsEnvironment.isHeadless()) { 87 87 component.getInputMap().put( 88 KeyStroke.getKeyStroke(KeyEvent.VK_Z, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()), undoAction);88 KeyStroke.getKeyStroke(KeyEvent.VK_Z, Main.platform.getMenuShortcutKeyMaskEx()), undoAction); 89 89 component.getInputMap().put( 90 KeyStroke.getKeyStroke(KeyEvent.VK_Y, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()), redoAction);90 KeyStroke.getKeyStroke(KeyEvent.VK_Y, Main.platform.getMenuShortcutKeyMaskEx()), redoAction); 91 91 } 92 92 } -
trunk/src/org/openstreetmap/josm/tools/PlatformHook.java
r13450 r13504 284 284 */ 285 285 default int getMenuShortcutKeyMaskEx() { 286 // To remove when switching to Java 10+, and use Toolkit.getMenuShortcutKeyMaskEx instead 286 287 return KeyEvent.CTRL_DOWN_MASK; 287 288 }
Note:
See TracChangeset
for help on using the changeset viewer.