Fix search in settings menu (issue #1906)