Changeset 8441 in josm for trunk/src/org/openstreetmap/josm/gui/util
- Timestamp:
- 2015-06-02T14:03:31+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java
r8345 r8441 123 123 124 124 private void processKeyEvent(KeyEvent e) { 125 if (Main.isDebugEnabled()) { 126 Main.debug("AdvancedKeyPressDetector enabled="+enabled+" => processKeyEvent("+e+") from "+new Exception().getStackTrace()[2]); 127 } 125 128 if (e.getID() == KeyEvent.KEY_PRESSED) { 126 129 if (timer.isRunning()) { … … 130 133 if (isFocusInMainWindow()) { 131 134 for (KeyPressReleaseListener q: keyListeners) { 135 if (Main.isDebugEnabled()) { 136 Main.debug(q+" => doKeyPressed("+e+")"); 137 } 132 138 q.doKeyPressed(e); 133 139 } … … 142 148 if (isFocusInMainWindow()) { 143 149 for (KeyPressReleaseListener q: keyListeners) { 150 if (Main.isDebugEnabled()) { 151 Main.debug(q+" => doKeyReleased("+e+")"); 152 } 144 153 q.doKeyReleased(e); 145 154 } … … 192 201 public final void setEnabled(boolean enabled) { 193 202 this.enabled = enabled; 203 if (Main.isDebugEnabled()) { 204 Main.debug("AdvancedKeyPressDetector enabled="+enabled+" from "+new Exception().getStackTrace()[1]); 205 } 194 206 } 195 207
Note:
See TracChangeset
for help on using the changeset viewer.