On 10 Dec 2009, at 15:41, Matthias Julius wrote: > Dirk Stöcker <[email protected]> writes: > >> On Thu, 10 Dec 2009, Dieter Muecke wrote: >> >>> Instead of restarting JOSM by hand after plugin update the code snippet >>> below does it programmatically. It works on Mac OSX but before I submit >>> a patch I would like know how do the same on Windows and Linux. >> >> Why do you want restarting JOSM after plugin update? >> >> The plugin update on startup is done before loading the plugins, so >> already the new plugins are loaded. >> >> And in any other case programmatically restarting is a bad idea as well >> (webstart, applet, security issues, ...). > > Plus, unless the current state (loaded data, zoom etc.) survives the > restart the benefit for the user is negligible. In my view that's not > worth jumping through hoops to make it work on all platforms. > > Better would be if there was a way to reload plugins without having to > restart JOSM.
+1 jEdit (a Java text editor) has a way to load, unload and reload plugins without the need to restart, and all plugins were updated a few years back for that new capability. Shaun _______________________________________________ josm-dev mailing list [email protected] http://lists.openstreetmap.org/listinfo/josm-dev
