Changeset 6378 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java
- Timestamp:
- 2013-11-08T01:39:06+01:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java
r6246 r6378 170 170 MapPaintStyles.readFromPreferences(); 171 171 } 172 if (Main.isDisplayingMapView()) 173 { 172 if (Main.isDisplayingMapView()) { 174 173 MapPaintStyles.getStyles().clearCached(); 175 174 } … … 186 185 public static class MapPaintPrefHelper extends SourceEditor.SourcePrefHelper { 187 186 187 /** 188 * The unique instance. 189 */ 188 190 public final static MapPaintPrefHelper INSTANCE = new MapPaintPrefHelper(); 189 191 192 /** 193 * Constructs a new {@code MapPaintPrefHelper}. 194 */ 190 195 public MapPaintPrefHelper() { 191 super("mappaint.style.entries" , "mappaint.style.sources-list");196 super("mappaint.style.entries"); 192 197 } 193 198
Note:
See TracChangeset
for help on using the changeset viewer.