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

Screenshot_2025-01-05_11-04-26.png (view on web)

Remarks:

Closes #2848.


You can view, comment on, or merge this pull request online at:

  https://github.com/geany/geany/pull/4192

Commit Summary

File Changes

(5 files)

Patch Links:


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/pull/4192@github.com>