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 |
---|---|---|---|
Priority | 5 | Category | None |
Status | Open | Group | None |
Resolution | None | Visibility | No |