TaskList: do not enable all patterns on each startup

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Status: open

Owner: Dale Anson

Labels: TaskList (2)

Priority: 2

Updated: 2012-03-27

Created: 2012-01-08

Private: No

I would like to use some patterns only occassionally. So one of the following would help me:

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.

Dale Anson - 2012-03-27

labels: 2748066 --> TaskList
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: