Changeset 10611 in josm for trunk/src/org/openstreetmap/josm/gui/history/NodeListViewer.java
- Timestamp:
- 2016-07-23T18:46:45+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/history/NodeListViewer.java
r10453 r10611 298 298 Main.worker.submit(new HistoryLoadTask().add(primitiveId)); 299 299 } 300 Runnable r = new Runnable() { 301 @Override 302 public void run() { 303 final History h = HistoryDataSet.getInstance().getHistory(primitiveId); 304 if (h == null) 305 return; 306 GuiHelper.runInEDT(new Runnable() { 307 @Override public void run() { 308 HistoryBrowserDialogManager.getInstance().show(h); 309 } 310 }); 311 } 312 }; 313 Main.worker.submit(r); 300 Main.worker.submit(() -> { 301 final History h = HistoryDataSet.getInstance().getHistory(primitiveId); 302 if (h == null) 303 return; 304 GuiHelper.runInEDT(() -> HistoryBrowserDialogManager.getInstance().show(h)); 305 }); 314 306 } 315 307
Note:
See TracChangeset
for help on using the changeset viewer.