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.
Submitted | jarekczek - 2012-01-08 09:09:15 | Assigned | daleanson |
---|---|---|---|
Priority | 2 | Labels | TaskList |
Status | open | Group | None |
Resolution | None |
2012-03-27 14:22:15 daleanson |
- **labels**: 2748066 --> TaskList |
---|