Changeset 12651 in josm for trunk/src/org/openstreetmap/josm/gui/MapView.java
- Timestamp:
- 2017-08-25T23:56:58+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapView.java
r12639 r12651 34 34 import javax.swing.JComponent; 35 35 import javax.swing.JPanel; 36 import javax.swing.SwingUtilities; 36 37 37 38 import org.openstreetmap.josm.Main; … … 70 71 import org.openstreetmap.josm.gui.layer.geoimage.GeoImageLayer; 71 72 import org.openstreetmap.josm.gui.layer.markerlayer.PlayHeadMarker; 73 import org.openstreetmap.josm.gui.mappaint.MapPaintStyles; 74 import org.openstreetmap.josm.gui.mappaint.MapPaintStyles.MapPaintSylesUpdateListener; 72 75 import org.openstreetmap.josm.io.audio.AudioPlayer; 73 76 import org.openstreetmap.josm.tools.JosmRuntimeException; … … 92 95 implements PropertyChangeListener, PreferenceChangedListener, 93 96 LayerManager.LayerChangeListener, MainLayerManager.ActiveLayerChangeListener { 97 98 static { 99 MapPaintStyles.addMapPaintSylesUpdateListener(new MapPaintSylesUpdateListener() { 100 @Override 101 public void mapPaintStylesUpdated() { 102 SwingUtilities.invokeLater(() -> { 103 // Trigger a repaint of all data layers 104 MainApplication.getLayerManager().getLayers() 105 .stream() 106 .filter(layer -> layer instanceof OsmDataLayer) 107 .forEach(Layer::invalidate); 108 }); 109 } 110 111 @Override 112 public void mapPaintStyleEntryUpdated(int index) { 113 mapPaintStylesUpdated(); 114 } 115 }); 116 } 94 117 95 118 /**
Note:
See TracChangeset
for help on using the changeset viewer.