- Timestamp:
- 2014-06-20T12:10:22+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/MapPaintStyles.java
r7248 r7256 311 311 fireMapPaintSylesUpdated(); 312 312 styles.clearCached(); 313 Main.map.mapView.preferenceChanged(null); 314 Main.map.mapView.repaint(); 313 if (Main.isDisplayingMapView()) { 314 Main.map.mapView.preferenceChanged(null); 315 Main.map.mapView.repaint(); 316 } 315 317 } 316 318 });
Note:
See TracChangeset
for help on using the changeset viewer.