Changeset 18436 in josm
- Timestamp:
- 2022-04-27T18:13:58+02:00 (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/PrefJPanel.java
r18227 r18436 108 108 .forEach((key, value) -> list.put(key, value.toString())); 109 109 list.put(Integer.valueOf(-1), ""); 110 111 // Remove "look-alike" values. See JOSM #22020 comment 2. These override the standard left/right/up/down keys. 112 list.remove(KeyboardUtils.EXTENDED_KEYCODE_FLAG + 0x2190); // '←' (LEFTWARDS ARROW) 113 list.remove(KeyboardUtils.EXTENDED_KEYCODE_FLAG + 0x2191); // '↑' (UPWARDS ARROW) 114 list.remove(KeyboardUtils.EXTENDED_KEYCODE_FLAG + 0x2192); // '→' (RIGHTWARDS ARROW) 115 list.remove(KeyboardUtils.EXTENDED_KEYCODE_FLAG + 0x2193); // '↓' (DOWNWARDS ARROW) 110 116 return list; 111 117 }
Note:
See TracChangeset
for help on using the changeset viewer.