Changeset 13649 in josm for trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java
- Timestamp:
- 2018-04-19T22:34:52+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java
r13270 r13649 82 82 Toolkit.getDefaultToolkit().addAWTEventListener(this, AWTEvent.KEY_EVENT_MASK); 83 83 } catch (SecurityException ex) { 84 Logging. warn(ex);84 Logging.log(Logging.LEVEL_WARN, "Unable to add AWT event listener", ex); 85 85 } 86 86 timer = new Timer(0, e -> { … … 113 113 Toolkit.getDefaultToolkit().removeAWTEventListener(this); 114 114 } catch (SecurityException ex) { 115 Logging. warn(ex);115 Logging.log(Logging.LEVEL_WARN, "Unable to remove AWT event listener", ex); 116 116 } 117 117 }
Note:
See TracChangeset
for help on using the changeset viewer.