Changeset 8537 in josm for trunk/src/org/openstreetmap/josm/gui

Timestamp:

2015-06-26T16:58:02+02:00 (9 years ago)

Author:

akks

Message:

add debug.advanced-keypress-detector.enable option for debugging #11209

Location:

trunk/src/org/openstreetmap/josm/gui

Files:

• MapFrame.java (modified) (1 diff)
• util/AdvancedKeyPressDetector.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/MapFrame.java

@@ -259 +259 @@
         }
 
-        keyDetector.register();
+        if (Main.pref.getBoolean("debug.advanced-keypress-detector.enable", true)) {
+            keyDetector.register();
+        }
     }
 

trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java

@@ -103 +103 @@
      */
     public void unregister() {
-        timer.stop();
+        if (timer != null) {
+            timer.stop();
+        }
         set.clear();
         if (!keyListeners.isEmpty()) {