Search box in Options menu

[Tetley22]

Would be nice to have a search box at the top of the options menu, to quickly find a setting. Especially useful to newer users. Thanks.

[albar965]

Makes totally sense. Had this in mind already.
But have to schedule this for one of the next bigger releases and not 2.8.

[albar965]

#952