Currently (jEdit 4.4.1) jEdit cannot handle plugins being installed in system and
This is bad, as under *nix and in newer Windows versions the program directory is not writeable.
If a user wants to update a plugin that is installed as system plugin by the administrator, this is not possible if the user is not also the administrator.
If the updated plugin JAR is copied to the user JAR folder, an error message appears that there are two copies installed.
If the plugin manager is used, the update cannot even be installed as it tries to remove the system one before installing to the user folder.
I think the changed behaviour should be:
If there is one copy in system and one in user JAR folder, use the user JAR folders occurence. This is the same behaviour as for properties then.
The plugin manager could either just install to user JAR folder and ignore the system JAR folder if the user JAR folder is the target, or maybe ask the user whether the system JAR folders occurence should be removed.
Maybe the plugin manager should also ask whether to remove the user JAR folder occurence when the target is the system JAR folder, so an administrator can update the system JAR but keep his personal version that he maybe built himself with some modifications.
I think in this case then the default for removing should be keep if target is user JAR folder and remove if target is system JAR folder.
|Submitted||vampire0 - 2011-09-19 - 16:12:31z||Assigned||nobody|