Changeset 7632 in josm for trunk/src/org/openstreetmap/josm/gui/widgets/JosmTextArea.java
- Timestamp:
- 2014-10-19T03:11:10+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/widgets/JosmTextArea.java
r7631 r7632 92 92 @Override 93 93 public void focusGained(FocusEvent e) { 94 Main.map.keyDetector.setEnabled(false); 94 if (Main.map != null) { 95 Main.map.keyDetector.setEnabled(false); 96 } 95 97 } 96 98 97 99 @Override 98 100 public void focusLost(FocusEvent e) { 99 Main.map.keyDetector.setEnabled(true); 101 if (Main.map != null) { 102 Main.map.keyDetector.setEnabled(true); 103 } 100 104 } 101 105 }
Note:
See TracChangeset
for help on using the changeset viewer.