first for a certain file type, e.g. PDF (i.e. hide everything except PDF files),
and then use the filter box to filter those PDF files for matching file names?
What I wouldn't want is a button that sets the filter box to something like **.pdf and I'd have to type my way between those two asterisks every time.
For example in Thunderbird, I can use a first filter box to filter for sender, then leave that first filter box populated as it is, and type into a second filter box in order to additionally filter for subject. This is extremely convenient.
@toggle:if SHOWFILTERFILENAME=*.js
@ifset:SHOWFILTERFILENAME=*.js
Set SHOWFILTERFILENAME
Set QUICKFILTERCLEAR
Set FOCUS=Source
@ifset:else
Set SHOWFILTERFILENAME=*.js
Set QUICKFILTER
A nice button indeed! Thanks Leo, I think I'm gonna use that as well. o)