Dear Doricoteam,
thanks for the option to filter for the options/preferences youre looking for! One question though: Why isn’t the search box in focus as default when one opens the options dialog? Wouldn’t that be even smoother without an additional STRG/CMD + L? I think it would not disturb the people who want to look through the options without the filtering, because they can still scroll and click around while the search box is in focus. Hopefully you understand what I mean
Best regards
Stephan L.