[ jEdit-devel ] Plugin Removal Does Not Occur

[Wilson J. - j. <Jim...@ac...>]

When selecting plugins for removal in PluginManager, this does not appear to
occur if the plugin does not support the new plugin API; I have to delete
the JAR files manually.  I would think that this is not the correct/expected
behavior?  Have I found a bug?

Jimmy
-- 
James "Jimmy" Wilson
Software Developer, Acxiom Corporation


**********************************************************************
The information contained in this communication is
confidential, is intended only for the use of the recipient
named above, and may be legally privileged.
If the reader of this message is not the intended
recipient, you are hereby notified that any dissemination, 
distribution, or copying of this communication is strictly
prohibited.
If you have received this communication in error,
please re-send this communication to the sender and
delete the original message or any copy of it from your
computer system. Thank You.