#6239 closed enhancement (fixed)
Search filter for keyboard shortcuts list
| Reported by: | joshdoe | Owned by: | team |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | Core | Version: | |
| Keywords: | shortcuts search filter | Cc: | joshdoe |
Description
It's difficult to find a specific shortcut in the "Keyboard Shortcuts" tab if you don't know the exact name. It would be nice to have a search field like for the "Plugins" tab to filter the list.
Attachments (1)
Change History (10)
comment:1 by , 12 years ago
comment:2 by , 12 years ago
| Priority: | normal → minor |
|---|
It certainly helps, if you know the exact name of the action and what menu it belongs to. The plugin list is much longer than the shortcut list, so I think the latter could benefit from searching just as much as the former.
by , 12 years ago
| Attachment: | case-ins_and_search_PrefJPanel.java.patch added |
|---|
comment:5 by , 12 years ago
| Resolution: | fixed |
|---|---|
| Status: | closed → reopened |
| Summary: | Search filter for keyboard shortcuts list → [PATCH] Search filter for keyboard shortcuts list |
Thanks for adding this! The one thing I'd suggest is making it a case insensitive search rather than regex. Also I like AND searches split on whitespace rather than exact matches, far more useful IMHO. Patch attached.
comment:6 by , 12 years ago
I thought about case sensitivity but could not find the examle for Java. Thank you for the patch, I will check and apply it soon.
comment:8 by , 12 years ago
While including your patch I have done some refactoring and then noticed "shortcut resetting bug" #7375.
Thank you again.
comment:9 by , 12 years ago
| Summary: | [PATCH] Search filter for keyboard shortcuts list → Search filter for keyboard shortcuts list |
|---|
Thanks for applying it.
Does not sorting help?