Mirrors/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell synced 2024-12-27 05:13:10 +00:00
Code Issues Projects Releases Packages Wiki Activity

Silence winch handler

Browse source 
Fixes #4876.
This commit is contained in:
Fabian Homborg 2018-05-29 18:32:54 +02:00
parent 93d40f9143
commit 0f4126c115
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
share/functions/__fish_config_interactive.fish
View file

@ -263,7 +263,7 @@ function __fish_config_interactive -d "Initializations that should be performed
end end
function __fish_winch_handler --on-signal WINCH -d "Repaint screen when window changes size" function __fish_winch_handler --on-signal WINCH -d "Repaint screen when window changes size"
commandline -f repaint commandline -f repaint >/dev/null 2>/dev/null
end end
# Notify terminals when $PWD changes (issue #906). # Notify terminals when $PWD changes (issue #906).