Changeset 3443 in josm for trunk/src/org/openstreetmap/josm/gui/MapView.java
- Timestamp:
- 2010-08-15T22:04:43+02:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapView.java
r3416 r3443 222 222 223 223 // listend to selection changes to redraw the map 224 DataSet.addSelectionListener(new SelectionChangedListener(){ 225 public void selectionChanged(Collection<? extends OsmPrimitive> newSelection) { 226 repaint(); 227 } 228 }); 224 DataSet.addSelectionListener(repaintSelectionChangedListener); 229 225 230 226 //store the last mouse action … … 805 801 } 806 802 803 private SelectionChangedListener repaintSelectionChangedListener = new SelectionChangedListener(){ 804 public void selectionChanged(Collection<? extends OsmPrimitive> newSelection) { 805 repaint(); 806 } 807 }; 808 809 public void destroy() { 810 Main.pref.removePreferenceChangeListener(this); 811 DataSet.removeSelectionListener(repaintSelectionChangedListener); 812 } 813 807 814 }
Note:
See TracChangeset
for help on using the changeset viewer.