Changeset 10611 in josm for trunk/src/org/openstreetmap/josm/gui/SelectionManager.java
- Timestamp:
- 2016-07-23T18:46:45+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/SelectionManager.java
r10446 r10611 172 172 eventSource.addMouseMotionListener(this); 173 173 selectionEndedListener.addPropertyChangeListener(this); 174 eventSource.addPropertyChangeListener("scale", new PropertyChangeListener() { 175 @Override 176 public void propertyChange(PropertyChangeEvent evt) { 177 abortSelecting(); 178 } 179 }); 174 eventSource.addPropertyChangeListener("scale", evt -> abortSelecting()); 180 175 eventSource.addTemporaryLayer(selectionHintLayer); 181 176 }
Note:
See TracChangeset
for help on using the changeset viewer.