To support an usual update installation via the Updater plugin, the installer should
accept the following requests:
- target settings directory
- target installation directory
- option to don't let the user change these given directories
If these informations were provided correctly, the installer would be able to reliably shutdown jEdit (if running in server mode) and update the right jedit.jar.
|Submitted||rschwenn - 2009-10-13 - 22:45:56z||Assigned||nobody|