[ jEdit-users ] Remembering open plugins


View entire thread