FIXED: Tweak needed for Options window quick search

[pjj]

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:

options-search.png (37.03 KiB) Viewed 2631 times

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.

[Rickard Johansson]

Made some improvements in next version (v15.92). Thanks!

2023-08-08_150813.png (13.67 KiB) Viewed 2512 times