FIXED: Tweak needed for Options window quick search
Posted: 03 Aug 2023 18:52
Not a bug, but I think this could be amended for a better UX: when you search Options for certain keywords (like "tab" or "font"), what you get is a long list of various settings that are not directly pertinent to your search, because also names of Options sections are taken into account:
Settings that I've marked with red border are importanter*) than those I haven't, and imho should go either first, with section name(s) listed once, or at least be also highlighted as hits.
- options-search.png (37.03 KiB) Viewed 2632 times