mirror of
https://github.com/storytold/vectorcraft.git
synced 2026-11-08 10:40:45 +00:00
The Preferences dialog has a Search Preferences field above the category list. It has the keyboard focus when the dialog opens, and Cmd/Ctrl+F focuses it again. While it has text, the list shows every setting whose label, section or category contains it (ignoring case, in the interface language or in English), or "No settings found". Choosing a setting shows its category, scrolls to its row and highlights it. Escape in the field with text clears it; Escape in the empty field closes the dialog. The dialog's `__search` field holds the text, so `ui.dialog.set` drives the search too.