mirror of
https://github.com/fish-shell/fish-shell
synced 2024-11-12 07:57:22 +00:00
81f45208b0
Make the filter search field hide properly in tabs where it's non-functional Fixes https://github.com/fish-shell/fish-shell/issues/265 |
||
---|---|---|
.. | ||
web_config | ||
bash_converter.py | ||
create_manpage_completions.py | ||
deroff.py | ||
import_bash_settings.py |