Changeset 10601 in josm for trunk/src/org/openstreetmap/josm/actions/ValidateAction.java
- Timestamp:
- 2016-07-23T04:10:39+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/ValidateAction.java
r10446 r10601 142 142 // update GUI on Swing EDT 143 143 // 144 GuiHelper.runInEDT(new Runnable() { 145 @Override 146 public void run() { 147 Main.map.validatorDialog.tree.setErrors(errors); 148 Main.map.validatorDialog.unfurlDialog(); 149 Main.getLayerManager().getEditDataSet().fireSelectionChanged(); 150 } 144 GuiHelper.runInEDT(() -> { 145 Main.map.validatorDialog.tree.setErrors(errors); 146 Main.map.validatorDialog.unfurlDialog(); 147 Main.getLayerManager().getEditDataSet().fireSelectionChanged(); 151 148 }); 152 149 }
Note:
See TracChangeset
for help on using the changeset viewer.