Preferences search box

[wimpers]

Would it be possible to add a search box for the preferences window?
It contains countless settings, and sometimes I change something that I want to change back afterwards but most of the time I'm having some memory loss and can't find it right away.
Or perhaps there already is a way?

[dro]

https://getwacup.com/community/index.php?topic=602.0 & https://getwacup.com/community/index.php?topic=2058.0 are the prior threads I can quickly find on here about this same request. It's also been asked on discord a number of times & I just don't know of a way to do it that doesn't involve a load of extra code & data overhead & which also isn't a complete pain to try to keep updated especially if it's got to somehow deal with 3rd party plug-ins when I've got no control or means to know what a prefs page might even show since some are dynamically created or the prefs page isn't created unless it's actually needing to be shown (so pre-parsing everything isn't an option with how any of it currently works).

I do try to group things where it makes sense based on the overall association of settings but that often doesn't seem to match up to what others are expecting things to be named which just exacerbates the problem. I also agree that there's too many options & as much as I want to I also don't see how I can cull some (or as many as possible) without it causing complaints so I'm somewhat screwed however I view it when it comes to how to do such a request. I've also asked for suggestions on how it could be implemented without it sucking & nothing ever comes from those requests so I've not done anything towards it.