Re: [ jEdit-users ] bug: instant removal of plugins

[Chris P. <li...@fo...>]

> I originally thought this was a problem as well.  You just need to 
> uncheck the "Hide libraries" box at the top to keep them from disappearing.

Ahh, so it is.  That was disturbing, though.  Isn't there a better way 
this could happen?  Or at least label the checkbox column so people know 
what it does?

-Chris