search gui advanced search panel: add checkbox to invert the meaning of the directory filter
Authored by: Jean-Francois Dockes 2011-03-30
Parent(s): [e61712]
Child(ren): [9a160f]