#2444 Libraries not deleted if Plugin is not loaded

[Björn Kautler]

If a plugin is not loaded and you delete it, then the
libraries shiped with that plugin remain in the
jars-directory and are not deleted.
If you e. g. have AntFarm installed, which is shipped
with the libraries ant.jar and ant-optional.jar, then
deactivate/unload it and then delete/uninstall it, then
the two libraries are not deleted. If you delete the
Plugin while it is loaded, the libraries are deleted.

Environment:
jEdit 4.2final
Windows XP Pro SP2
Sun Java 1.5.0_04

[Matthieu Casanova]

Logged In: YES
user_id=285591
Originator: NO

I think it is fixed now