Changeset 7533 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2014-09-14T02:28:06+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java
r7469 r7533 85 85 timer.stop(); 86 86 if (set.remove(releaseEvent.getKeyCode())) { 87 synchronized ( this) {87 synchronized (AdvancedKeyPressDetector.this) { 88 88 for (KeyPressReleaseListener q: keyListeners) { 89 89 q.doKeyReleased(releaseEvent);
Note:
See TracChangeset
for help on using the changeset viewer.