Changeset 12174 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2017-05-15T18:09:18+02:00 (8 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapView.java
r12170 r12174 669 669 } 670 670 } 671 // invalidate repaint cache. The layer order may have changed by this, so we invalidate every layer 672 getLayerManager().getLayers().forEach(invalidatedListener::invalidate); 671 673 AudioPlayer.reset(); 672 repaint();673 674 } 674 675 -
trunk/src/org/openstreetmap/josm/gui/mappaint/MapPaintStyles.java
r11781 r12174 24 24 import org.openstreetmap.josm.data.osm.Tag; 25 25 import org.openstreetmap.josm.gui.PleaseWaitRunnable; 26 import org.openstreetmap.josm.gui.layer.Layer; 27 import org.openstreetmap.josm.gui.layer.OsmDataLayer; 26 28 import org.openstreetmap.josm.gui.mappaint.mapcss.MapCSSStyleSource; 27 29 import org.openstreetmap.josm.gui.mappaint.styleelement.MapImage; … … 340 342 fireMapPaintSylesUpdated(); 341 343 styles.clearCached(); 342 if (Main.isDisplayingMapView()) { 343 Main.map.mapView.preferenceChanged(null); 344 Main.map.mapView.repaint(); 345 } 344 345 // Trigger a repaint of all data layers 346 Main.getLayerManager().getLayers() 347 .stream() 348 .filter(layer -> layer instanceof OsmDataLayer) 349 .forEach(Layer::invalidate); 346 350 }); 347 351 }
Note:
See TracChangeset
for help on using the changeset viewer.