Changeset 12630 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/MapImage.java
- Timestamp:
- 2017-08-24T00:15:51+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/MapImage.java
r12303 r12630 12 12 import javax.swing.ImageIcon; 13 13 14 import org.openstreetmap.josm.Main; 14 import org.openstreetmap.josm.gui.MainApplication; 15 import org.openstreetmap.josm.gui.MapView; 15 16 import org.openstreetmap.josm.gui.mappaint.MapPaintStyles; 16 17 import org.openstreetmap.josm.gui.mappaint.StyleSource; … … 149 150 if (temporary) { 150 151 disabledImgCache = null; 151 Main.map.mapView.preferenceChanged(null); // otherwise repaint is ignored, because layer hasn't changed 152 Main.map.mapView.repaint(); 152 MapView mapView = MainApplication.getMap().mapView; 153 mapView.preferenceChanged(null); // otherwise repaint is ignored, because layer hasn't changed 154 mapView.repaint(); 153 155 } 154 156 temporary = false;
Note:
See TracChangeset
for help on using the changeset viewer.