[ jEdit-devel ] [ jedit-Plugin Bugs-3614471 ] Activator plugin needs to reload optional plugins

Plugin Bugs item #3614471, was opened at 2013-06-11 13:16
Message generated for change (Settings changed) made by daleanson
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3614471&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Dale Anson (daleanson)
>Assigned to: Dale Anson (daleanson)
Summary: Activator plugin needs to reload optional plugins

Initial Comment:
See https://sourceforge.net/tracker/index.php?func=detail&aid=3614456&group_id=588&atid=100588

Activator needs to also reload optional plugins when reloading a plugin and dependent plugins.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3614471&group_id=588