Changeset 7633 in josm for trunk/src/org

Timestamp:

2014-10-19T09:47:24+02:00 (9 years ago)

Author:

akks

Message:

see #10647: completely disable Main.map.keyDetector events while not in main window

File:

• trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java (modified) (1 diff)

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

@@ -88 +88 @@
                 if (set.remove(releaseEvent.getKeyCode()) && enabled) {
                     synchronized (AdvancedKeyPressDetector.this) {
-                        for (KeyPressReleaseListener q: keyListeners) {
-                            q.doKeyReleased(releaseEvent);
+                        if (isFocusInMainWindow()) {
+                            for (KeyPressReleaseListener q: keyListeners) {
+                                q.doKeyReleased(releaseEvent);
+                            }
                         }
                     }