From: SourceForge.net <no...@so...> - 2009-12-23 19:21:59
|
Feature Requests item #2919873, was opened at 2009-12-23 01:09 Message generated for change (Comment added) made by godfall You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=350588&aid=2919873&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: core Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Thiemo Kellner (thiemo) Assigned to: Nobody/Anonymous (nobody) Summary: Searchable options Initial Comment: 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. ---------------------------------------------------------------------- Comment By: red.october (godfall) Date: 2009-12-23 13:21 Message: 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. ---------------------------------------------------------------------- Comment By: Shlomy Reinstein (shlomy) Date: 2009-12-23 02:41 Message: 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. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=350588&aid=2919873&group_id=588 |