Files
support-fins/plugins
matthewtrahan 1c9fe96c13 ui: search the settings -- a box at the top of the panel narrows it to the settings whose name matches, opening the sections they're folded in; a match the current mode hides brings the switch that reveals it
Local issue 42. Names first (shown and English), tooltips only when no name matches;
Esc or the x puts the panel back as it was, and a search never saves a section's
open state. Layout only: no value changes (ui/search.js).
2026-10-16 07:43:18 -05:00
..