Previous Next Tracker index See it online !

(115/212) 319 - Option Panes: Searchable options

It would be nice if the option panes had a search functionality one would locate the option containing the searched string. If the result was clickable like the hyper search such that the clicked option finding would be focussed and highlighted, it would add additional comfort. I think alongside TOAD and attached a screen shot of their solution.

Submitted	thiemo - 2009-12-23 07:09:55	Assigned
Priority	5	Labels
Status	open	Group	None
Resolution	None

Comments

2009-12-23 07:09:56 thiemo	Searchable options solution in TOAD toad_options_search.png (57.7Kio)
2009-12-23 08:41:26 *anonymous	I don't think this is the right way to do this. For options, there is documentation - Help -> jEdit HElp. The documentation is searchable, so you can search for your option there. Once found, it would be nice to click it and have the Options dialog open directly on that option.
2009-12-23 19:21:59 godfall	Just a user (not developer), but here are my thoughts: Thiemo: I think that would be a good idea. I've never used this TOAD software you speak of, but I've used Eclipse, and it has the same functionality. The implementation is different: the left hand side, with the "tree" of options, becomes filtered, instead of displaying search results at the bottom. Personally, I think that Eclipse's approach is slightly better since it gives you context (i.e., spatially where is the option located). I would attach a screenshot, but I'm not sure how to do that. schlomy: Your suggestion would also be useful, but I don't think it replaces Thiemo's idea. Often I go to the Global Options dialog box and I know what I want to change (e.g., number of spaces in a tab), but I don't know where its located. It would be a hassle to have to open up jEdit help, search for it, then get taken back to the options dialog.
2009-12-23 21:19:18 thiemo	Shlomy, your idea is good too. However, on my system (dual core laptop) the help search is so slow, it bores me to tears. And as gofall says, often you know what you want already and know at least a part of the term used but not where to find it. By the way, if you relied on the help you needed to make sure the help is complete and that's something you hardly can make come true for all the trillions of plugins there are. And the more plugins there are the more confusing the options will be. To me it allways happens (today the latest time) that I want to toggle the removal of trailing white space when saving. So I first went to the general part of the global option, next to save before remembering that it was an option of some text plugin. But the code to follow the links in the result of the option search and the help search could be reused, I assume, and I guess that would be the bigger part of the implementation. So, why not have both?
2009-12-24 16:59:41 ezust	I agree that the optionpanes should be searchable. However, when you go to "global" options, it does not instantiate the plugin option panes at all. Only the optional plugin instantiates all of the option panes, so therefore, I think it is that plugin that should have this feature. And I would do it myself if I had the time. But I don't right now. If someone else wants to try, I can help get that person started. Moving to plugin feature requests.
2009-12-24 16:59:41 ezust	- labels: 871558 --> - summary: Searchable options --> Optional Plugin: Searchable options
2011-12-17 03:20:58 ezust	- summary: Optional Plugin: Searchable options --> Option Panes: Searchable options
2011-12-17 03:21:25 ezust	Moving back to feature requests since Optional is being merged into core.
2013-04-30 07:39:14 weberjn	I find it very cumbersome to first have to go to the help browser to find an option. The Eclipse way is much better.