-add filter to project search mode
author Alex Neundorf
committer Alex Neundorf
commit b0af8d9a4f747ee8513aa0c00e5e8e8d5d52bc3d
tree b929ccdd5330aaffdfca54b968a22a522da3d1dd
parent 0f5fa0026a9474bf732a845596e10fa1c7bf7753
-add filter to project search mode

This patch adds the file filter to the project-search mode.
Now you can e.g. search only header files within a project.
Additionally the options-widget is now also displayed when
switching to the search-in-open-files tab, since this contains also
options useful in this mode (e.g. match case)