Just an update, I have the loading/reloading working well on my local and I believe this is what we are all looking for. As an example, suppose ProjectViewer and Lucene are both loaded when jEdit starts. Lucene has an optional dependency on PV. The user decides to unload PV. In this case, both PV and Lucene are unloaded, then Lucene is reloaded, so Lucene continues to work as expected. Next the...
2013-06-12 13:49:39 PDT in jEdit
Reopening this since we're still discussing solutions.
2013-06-12 08:15:51 PDT in jEdit
How would you fix the plugins? This appears to be a classloader issue, so I'm not sure what you would fix in the plugins? I think this is only half of the solution -- for example, TaskList has an optional dependency on ProjectViewer. If PV is unloaded, there is no reason for TaskList to also be unloaded. It should be reloaded so that the classloaders are cleaned up. Later, if PV is activated...
2013-06-12 08:15:06 PDT in jEdit
Alan, I was adding this to both the manage and install tabs in plugin manager. For the manage tab, it's not a problem to show all the details for plugins since they are already local. For the install tab, the details come from the downloaded plugin list, which only includes the required plugins, it does not include the optional plugins. I don't know how that list is generated -- how hard would...
2013-06-11 15:45:04 PDT in jEdit
The fix for this is in jEdit core, see https://sourceforge.net/tracker/index.php?func=detail&aid=3614456&group_id=588&atid=100588 and https://sourceforge.net/tracker/index.php?func=detail&aid=3614465&group_id=588&atid=350588.
2013-06-11 13:17:44 PDT in jEdit
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.
2013-06-11 13:16:37 PDT in jEdit
Fixed in revision 23051 in jEdit. I didn't do anything with Activator.
2013-06-11 13:14:45 PDT in jEdit
2013-06-11 13:12:01 PDT in jEdit
2013-06-11 11:17:14 PDT in jEdit
This is related to https://sourceforge.net/tracker/index.php?func=detail&aid=3614465&group_id=588&atid=350588, so I'll take care of the unloading part at the same time as the other tracker. Activator adjustments should probably be a separate ticket.
2013-06-11 10:43:44 PDT in jEdit