Currently only directory filters can be specified. It should be possible to use the set of files returned by a search to filter further search requests.
There should be a button, which allows to set the current search result as a file filter. The list of files contained in the index and displayed on the left should be limited to the search result files and there should be some icon indicating, that the list is currently filtered.
Anonymous
