- Timestamp:
- 2009-09-14T02:56:05+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapStatus.java
r2109 r2127 42 42 import org.openstreetmap.josm.data.coor.CoordinateFormat; 43 43 import org.openstreetmap.josm.data.coor.LatLon; 44 import org.openstreetmap.josm.data.osm.DataSet; 44 45 import org.openstreetmap.josm.data.osm.OsmPrimitive; 45 46 import org.openstreetmap.josm.data.osm.OsmPrimitiveType; … … 309 310 } 310 311 } 312 DataSet.fireSelectionChanged(Main.main.getCurrentDataSet().getSelected()); 311 313 mv.repaint(); 312 314 } … … 431 433 // Let the user toggle the selection 432 434 osm.setSelected(!osm.isSelected()); 435 DataSet.fireSelectionChanged(Main.main.getCurrentDataSet().getSelected()); 433 436 mv.repaint(); 434 437 l.validate();
Note:
See TracChangeset
for help on using the changeset viewer.