Changeset 8537 in josm for trunk/src/org/openstreetmap/josm/gui/util
- Timestamp:
- 2015-06-26T16:58:02+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java
r8489 r8537 103 103 */ 104 104 public void unregister() { 105 timer.stop(); 105 if (timer != null) { 106 timer.stop(); 107 } 106 108 set.clear(); 107 109 if (!keyListeners.isEmpty()) {
Note:
See TracChangeset
for help on using the changeset viewer.