This adds a filter entry in the keybindings tab in the preferences dialog, similar to the filter entry in the plugin manager dialog.

Remarks: - only the action name is considered for filtering, not the keybindings - the categories are always shown (hiding them on no matching children isn't trivial) - Ctrl-F in the TreeView sets focus to the filter entry - Ctrl-F in the TreeView in the plugin manager dialog sets focus to the filter entry - I also changed the dialog title of the assign keybinding dialog, as suggested in https://github.com/geany/geany/issues/4185
Closes #2848. You can view, comment on, or merge this pull request online at:
https://github.com/geany/geany/pull/4192
-- Commit Summary --
* Move UTF-8 capable sub string matching from plugin manager to utils * Preferences: add filter entry for keybindings * Plugin Manager: Bind Ctrl-F shortcut to focus the filter entry * Preferences: Retitle assign keybinding dialog title
-- File Changes --
M data/geany.glade (18) M src/plugins.c (56) M src/prefs.c (81) M src/utils.c (48) M src/utils.h (2)
-- Patch Links --
https://github.com/geany/geany/pull/4192.patch https://github.com/geany/geany/pull/4192.diff