Search function that searches all directories for a file/directory

[Nicklas Nordborg]

If you are looking for a file but doesn't know in which directory it is located you are out of luck. BASE has no search function that can find files in other directories than the current directory.

One possibility is that we add a special item in the directory tree, "Search", that displays a special search page. It should be possible to search by name, file type and most other file properties.

The result can probably use the regular file/directory listing page with some minor changes to it. But we might want to put some kind of limit to the number of files listed if someone searches for '%'.

[Nicklas Nordborg]

(In [5179]) Fixes #1414: Search function that searches all directories for a file/directory

This was implemented on top of the regular file/directory listing. When in "search" mode, nothing is displayed unless a filter is present. The search mode uses a different set of filter settings so this will not affect the regular filter that is used when browsing for files. A side-effect is that the latest search is automatically remembered and that it is possible to save searches as presets.

[Nicklas Nordborg]

(In [5195]) References #1414: Search function that searches all directories for a file/directory

Minor color change in the search icon.