It is difficult sometime to find where is the option I'm looking for in the preferences. It would be great to have a quick-filter box in the preferences: when you type in it, all non-matching options (and tabs) disappear.
Discussion
Anonymous
-
2011-08-01
That's a good idea though not trivial to implement, I think, with the current code.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
A list with the stash names can be implemented, but... Why don't you just press the Help button and search the manual? All major browsers have a find function; if something is not documented, you can drop us a note. BTW, since you are writing to a plugins list, their settings are not hard to find.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
That's a good idea though not trivial to implement, I think, with the current code.
A list with the stash names can be implemented, but... Why don't you just press the Help button and search the manual? All major browsers have a find function; if something is not documented, you can drop us a note. BTW, since you are writing to a plugins list, their settings are not hard to find.