I'd think that the Updater plugin is intended to update the one jEdit installation
and configuration the Updater has been launched from.
So, the Updater plugin should ask the installer to:
- use the given jEdit settings directory
- use the given jEdit Home (resp. program) directory
- don't let the user change these directories
(See related request for installer #2878349)
|Submitted||rschwenn - 2009-10-13 - 22:54:46z||Assigned||nobody|