In file explorer filter get hidden when switch to terminal -- VERY confusing

[williamstein]

1. Type a filter into the upper right filter in the file browser

3. Click the terminal icon to switch to using the terminal.

4. BOOM -- the filter is still fully in effect, even though the warning is gone and there is no indication of any filter.
   This is very, very confusing and makes you think your files are missing. It is definitely a bug, since there is supposed to be a warning.

[williamstein]

Better fix -- just get rid of the toggle entirely! That fixes this really massive confusing UI bug that has impacted several of us... and makes things much simpler (two less buttons).