Search filter for keyboard shortcuts list

[joshdoe]

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.

[akks]

Does not sorting help?

[joshdoe]

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.

[akks]

Please improve the design if if looks bad:

[akks]

In [4909/josm]:

fix #6239: Search filter for keyboard shortcuts list

[joshdoe]

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.

[akks]

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.

[akks]

In [4914/josm]:

fix #6239 - Patch by Joshdoe [Case insensitive word-based search in shortcut prefs] + refactoring

[akks]

While including your patch I have done some refactoring and then noticed "shortcut resetting bug" #7375.
Thank you again.

[joshdoe]

Thanks for applying it.