Skip to content

Allow filtering the keybindings and recent repos menus more directly (simply by typing) - #5985

Merged
stefanhaller merged 19 commits into
masterfrom
direct-menu-filtering
Aug 31, 2026
Merged

Allow filtering the keybindings and recent repos menus more directly (simply by typing)#5985
stefanhaller merged 19 commits into
masterfrom
direct-menu-filtering

Commits

Commits on Aug 31, 2026