Ticket #3347: speedup-plugin.patch
| File speedup-plugin.patch, 926 bytes (added by , 16 years ago) |
|---|
-
src/org/openstreetmap/josm/plugins/validator/ValidatorDialog.java
490 490 SwingUtilities.invokeAndWait( 491 491 new Runnable() { 492 492 public void run() { 493 Main.main.undoRedo.add (fixCommand);493 Main.main.undoRedo.addNoRedraw(fixCommand); 494 494 } 495 495 } 496 496 ); … … 501 501 monitor.subTask(tr("Updating map ...")); 502 502 SwingUtilities.invokeAndWait(new Runnable() { 503 503 public void run() { 504 Main.main.undoRedo.afterAdd(); 504 505 Main.map.repaint(); 505 506 tree.resetErrors(); 506 507 DataSet.fireSelectionChanged(Main.main.getCurrentDataSet().getSelected());
