Changeset 12273 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2017-05-29T15:43:26+02:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r11974 r12273 610 610 Main.pref.putCollection("plugins", plugins); 611 611 // restart 612 new RestartAction().actionPerformed(null); 612 try { 613 RestartAction.restartJOSM(); 614 } catch (IOException e) { 615 Main.error(e); 616 } 613 617 } else { 614 618 Main.warn("No plugin downloaded, restart canceled");
Note: See TracChangeset
for help on using the changeset viewer.