1 Title: Added search form to global settings page
9 It is not always easy to find a global setting in the number of
10 foldable containers which all can be folded by default. To find
11 a setting one might have to open multiple of the containers to
12 get to the requested option. This search form should make it
13 easier to find a needed option.