Changeset 12497 in josm

Timestamp:

2017-07-23T15:51:43+02:00 (7 years ago)

Author:

Don-vip

Message:

fix #8340 - shortcuts using up/down/left/right arrows not reassignable

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/PrefJPanel.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/PrefJPanel.java

@@ -101 +101 @@
         // Assume all known keys are declared in KeyEvent as "public static int VK_*"
         for (Field field : KeyEvent.class.getFields()) {
-            if (field.getName().startsWith("VK_")) {
+            // Ignore VK_KP_DOWN, UP, etc. because they have the same name as VK_DOWN, UP, etc. See #8340
+            if (field.getName().startsWith("VK_") && !field.getName().startsWith("VK_KP_")) {
                 try {
                     int i = field.getInt(null);