gui: the list of formats grouped by kind, with a filter - #127

Merged

donislawdev merged 4 commits into

mainfrom

gui/format-menu-groups

Sep 23, 2026

Commits on Sep 23, 2026

gui: the format list grouped by kind, with a filter (prototype, guards not yet rewritten)

donislawdev
and
claude
committed
0bea045
gui: the format list opens on a letter typed at the shut menu, finds a kind by its name, and says how many stand under each heading

donislawdev
and
claude
committed
01e2293
gui: the format list's catalogue states, stored screens and changelog

donislawdev
and
claude
committed
9cc4919
gui: the format list's contents as their own type, the Space that opens it kept out of its filter, and the focus guard asked where the list sends the keyboard

donislawdev
and
claude
committed
501be20