Changeset 12634 in josm for trunk/src/org/openstreetmap/josm/gui/history/NodeListViewer.java
- Timestamp:
- 2017-08-24T15:54:00+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
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.