Changeset 12634 in josm for trunk/src/org/openstreetmap/josm/gui/history
- Timestamp:
- 2017-08-24T15:54:00+02:00 (8 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui/history
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/history/HistoryBrowserDialog.java
r11659 r12634 23 23 import org.openstreetmap.josm.data.osm.history.HistoryDataSet; 24 24 import org.openstreetmap.josm.data.osm.history.HistoryDataSetListener; 25 import org.openstreetmap.josm.gui.MainApplication; 25 26 import org.openstreetmap.josm.gui.help.ContextSensitiveHelpAction; 26 27 import org.openstreetmap.josm.gui.help.HelpUtil; … … 182 183 HistoryLoadTask task = new HistoryLoadTask(); 183 184 task.add(browser.getHistory()); 184 Main.worker.submit(task); 185 MainApplication.worker.submit(task); 185 186 } 186 187 } -
trunk/src/org/openstreetmap/josm/gui/history/HistoryBrowserDialogManager.java
r11746 r12634 23 23 import org.openstreetmap.josm.data.osm.history.History; 24 24 import org.openstreetmap.josm.data.osm.history.HistoryDataSet; 25 import org.openstreetmap.josm.gui.MainApplication; 25 26 import org.openstreetmap.josm.gui.layer.LayerManager.LayerAddEvent; 26 27 import org.openstreetmap.josm.gui.layer.LayerManager.LayerChangeListener; … … 213 214 task.add(p); 214 215 } 215 Main.worker.submit(task); 216 MainApplication.worker.submit(task); 216 217 } 217 218 … … 229 230 } 230 231 }; 231 Main.worker.submit(r); 232 MainApplication.worker.submit(r); 232 233 } 233 234 } -
trunk/src/org/openstreetmap/josm/gui/history/HistoryLoadTask.java
r11553 r12634 43 43 * .add(aHistoryItem); 44 44 * 45 * Main.worker.execute(task); 45 * MainApplication.worker.execute(task); 46 46 * </pre> 47 47 */ -
trunk/src/org/openstreetmap/josm/gui/history/NodeListViewer.java
r11519 r12634 29 29 import org.openstreetmap.josm.data.osm.history.History; 30 30 import org.openstreetmap.josm.data.osm.history.HistoryDataSet; 31 import org.openstreetmap.josm.gui.MainApplication; 31 32 import org.openstreetmap.josm.gui.layer.OsmDataLayer; 32 33 import org.openstreetmap.josm.gui.util.AdjustmentSynchronizer; … … 302 303 public void run() { 303 304 if (HistoryDataSet.getInstance().getHistory(primitiveId) == null) { 304 Main.worker.submit(new HistoryLoadTask().add(primitiveId)); 305 MainApplication.worker.submit(new HistoryLoadTask().add(primitiveId)); 305 306 } 306 Main.worker.submit(() -> { 307 MainApplication.worker.submit(() -> { 307 308 final History h = HistoryDataSet.getInstance().getHistory(primitiveId); 308 309 if (h == null)
Note:
See TracChangeset
for help on using the changeset viewer.