Changeset 10031 in josm for trunk/src/org/openstreetmap/josm/gui/SelectionManager.java
- Timestamp:
- 2016-03-23T21:30:27+01:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/SelectionManager.java
r9078 r10031 23 23 import org.openstreetmap.josm.data.osm.Way; 24 24 import org.openstreetmap.josm.data.osm.visitor.paint.PaintColors; 25 import org.openstreetmap.josm.gui.layer.MapViewPaintable; 25 import org.openstreetmap.josm.gui.layer.AbstractMapViewPaintable; 26 26 import org.openstreetmap.josm.tools.Utils; 27 27 … … 89 89 * @author Michael Zangl 90 90 */ 91 private class SelectionHintLayer implementsMapViewPaintable {91 private class SelectionHintLayer extends AbstractMapViewPaintable { 92 92 @Override 93 93 public void paint(Graphics2D g, MapView mv, Bounds bbox) { … … 368 368 } 369 369 370 private static void selectionAreaChanged() { 371 // Trigger a redraw of the map view. 372 // A nicer way would be to provide change events for the temporary layer. 373 Main.map.mapView.repaint(); 370 private void selectionAreaChanged() { 371 selectionHintLayer.invalidate(); 374 372 } 375 373 … … 383 381 */ 384 382 public Collection<OsmPrimitive> getSelectedObjects(boolean alt) { 385 386 383 Collection<OsmPrimitive> selection = new LinkedList<>(); 387 384
Note:
See TracChangeset
for help on using the changeset viewer.
