Changeset 7217 in josm for trunk/src/org/openstreetmap/josm/gui
- Timestamp:
- 2014-06-06T10:10:31+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapFrame.java
r7075 r7217 73 73 import org.openstreetmap.josm.gui.dialogs.properties.PropertiesDialog; 74 74 import org.openstreetmap.josm.gui.layer.Layer; 75 import org.openstreetmap.josm.gui.util.AdvancedKeyPressDetector; 75 76 import org.openstreetmap.josm.tools.Destroyable; 76 77 import org.openstreetmap.josm.tools.GBC; … … 95 96 */ 96 97 public final MapView mapView; 98 99 /** 100 * This object allows to detect key press and release events 101 */ 102 public final AdvancedKeyPressDetector keyDetector = new AdvancedKeyPressDetector(); 97 103 98 104 /** … … 245 251 for (JComponent c: allMapModeButtons) c.setFocusTraversalKeysEnabled(false); 246 252 } 253 254 keyDetector.register(); 247 255 } 248 256 … … 290 298 statusLine.destroy(); 291 299 mapView.destroy(); 300 keyDetector.unregister(); 292 301 } 293 302
Note:
See TracChangeset
for help on using the changeset viewer.