Changeset 8537 in josm for trunk/src/org/openstreetmap/josm/gui/MapFrame.java
- Timestamp:
- 2015-06-26T16:58:02+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapFrame.java
r8510 r8537 259 259 } 260 260 261 keyDetector.register(); 261 if (Main.pref.getBoolean("debug.advanced-keypress-detector.enable", true)) { 262 keyDetector.register(); 263 } 262 264 } 263 265
Note:
See TracChangeset
for help on using the changeset viewer.