[ jEdit-devel ] [ jedit-Bugs-1098355 ] Unloading plugins in manager should persist after restarting

[SourceForge.net <no...@so...>]

Bugs item #1098355, was opened at 2005-01-08 07:07
Message generated for change (Comment added) made by olearyni
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1098355&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: plugin manager
Group: None
>Status: Closed
Resolution: None
Priority: 5
Submitted By: scragz (scragz)
Assigned to: Nobody/Anonymous (nobody)
Summary: Unloading plugins in manager should persist after restarting

Initial Comment:
Much like the Firefox extension manager,
unloading/disabling a plugin in the plugin manager
should keep it disabled until the user re-enables it.

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

>Comment By: Nicholas O'Leary (olearyni)
Date: 2006-07-17 11:59

Message:
Logged In: YES 
user_id=631957

This has been in for a while.

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

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