Search in preferences

[markfaine]

I’m thinking of an incremental search filter like in Eclipse preferences, if you’ve seen that before. I swear I have to click every single tab every time I’m looking for a setting. Blame my aging memory