Changeset 12825 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint/loader/MapPaintStyleLoader.java

Timestamp:

2017-09-11T20:43:41+02:00 (7 years ago)

Author:

Don-vip

Message:

see #15229 - see #15182 - make FileWatcher generic so it has no more dependence on MapCSS

File:

• trunk/src/org/openstreetmap/josm/gui/mappaint/loader/MapPaintStyleLoader.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/mappaint/loader/MapPaintStyleLoader.java

@@ -6 +6 @@
 import java.util.ArrayList;
 import java.util.Collection;
+import java.util.Collections;
 import java.util.List;
 
+import org.openstreetmap.josm.data.preferences.sources.SourceEntry;
 import org.openstreetmap.josm.gui.MainApplication;
 import org.openstreetmap.josm.gui.PleaseWaitRunnable;
@@ -67 +69 @@
         MainApplication.worker.submit(new MapPaintStyleLoader(toReload));
     }
+
+    /**
+     * Reload style.
+     * @param style {@link StyleSource} to reload
+     * @throws IllegalArgumentException if {@code style} is not a {@code StyleSource} instance
+     * @since 12825
+     */
+    public static void reloadStyle(SourceEntry style) {
+        if (style instanceof StyleSource) {
+            MainApplication.worker.submit(new MapPaintStyleLoader(Collections.singleton((StyleSource) style)));
+        } else {
+            throw new IllegalArgumentException(style + " is not a StyleSource");
+        }
+    }
 }