The new “ignore file extensions” in the filter bar settings breaks the ability to filter by file type.
So when using the file type menu can you make it auto-temporarily numb the “ignore file extensions” option so we can use that menu quickly, while keeping ignore extensions on by default.
(Using the file type section will always include the file extension, regardless of defaults)
Leave it turned off if you want to filter by extension.
Just a request for a few less clicks, but nevermind then.
From 13.20.2, the filter bar will turn off Ignore Extensions automatically if you use the file types menu to build an extension filter.
(It'll normally then stay off within that tab until the filter bar is closed, or you change folders, or it's turned back on explicitly.)
