I would like to use some patterns only occassionally. So one of the following would
1. A checkbox "Active by default" in pattern definition
2. Remembering of filter settings between jedit sessions
Currently at every plugin restart the filter gets all elements set.
|Submitted||jarekczek - 2012-01-08 - 09:09:15z||Assigned||daleanson|