Changeset 13270 in josm for trunk/src/org
- Timestamp:
- 2018-01-02T00:11:43+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java
r13174 r13270 103 103 } 104 104 set.clear(); 105 releaseEvent = null; 105 106 if (!keyListeners.isEmpty()) { 106 107 Logging.warn(tr("Some of the key listeners forgot to remove themselves: {0}"), keyListeners.toString());
Note:
See TracChangeset
for help on using the changeset viewer.