Search every setting, ranked, and jump straight to it

A search box at the top of the settings nav, on Ctrl+F, finds pages, section headings and individual settings by title and description. Exact matches beat prefixes, which beat word starts, which beat matches inside a word; a page beats a setting at the same kind of match, and loose letter-by-letter matches only appear when nothing else does. Matches are highlighted without moving any text, long descriptions are cut around the match with an ellipsis on each cut side, and Enter opens the page, the inner tab and the collapsed group the setting is in, then scrolls to it and flashes it. The index is read from each page as it renders, so a plugin's own settings page is searchable without the plugin doing anything. The hotkey list and each integration's detail view are not indexed.

A settings page can contain many sections, inner tabs and plugin controls. Finding a label in the navigation does not take you to the control itself.

The search indexes page titles, section headings and settings as each page renders. It ranks exact matches before prefixes, word starts and inner-word matches; it opens the matching page, tab and group before scrolling to the setting.

• The hotkey list and each integration's detail view are not indexed.