Changeset 12634 in josm for trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java

Timestamp:

2017-08-24T15:54:00+02:00 (7 years ago)

Author:

Don-vip

Message:

see #15182 - deprecate Main.worker, replace it by gui.MainApplication.worker + code refactoring to make sure only editor packages use it

File:

• trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java

@@ -50 +50 @@
 import org.openstreetmap.josm.data.preferences.StrokeProperty;
 import org.openstreetmap.josm.gui.ExtendedDialog;
+import org.openstreetmap.josm.gui.MainApplication;
 import org.openstreetmap.josm.gui.widgets.HtmlPanel;
 import org.openstreetmap.josm.tools.CheckParameterUtil;
@@ -93 +94 @@
      */
     public static void executeByMainWorkerInEDT(final Runnable task) {
-        Main.worker.submit(() -> runInEDTAndWait(task));
+        MainApplication.worker.submit(() -> runInEDTAndWait(task));
     }