Allow filtering the keybindings and recent repos menus more directly (simply by typing) - #5985
Merged
Commits
Commits on Aug 31, 2026
- committed
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- committed
- committed