From ee46cc2645e4387b40e0ddab67c5048822ce38e5 Mon Sep 17 00:00:00 2001 From: Albert Portnoy Date: Mon, 21 Nov 2022 11:15:13 -0600 Subject: [PATCH] fix(fish): repaint tooltip on sigint --- src/shell/scripts/omp.fish | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/shell/scripts/omp.fish b/src/shell/scripts/omp.fish index cffdbff7..390cc349 100644 --- a/src/shell/scripts/omp.fish +++ b/src/shell/scripts/omp.fish @@ -62,6 +62,11 @@ function postexec_omp --on-event fish_postexec set --global --export omp_lastcommand $argv end +# fix tooltip not resetting on SIGINT (ctrl+c) +function sigint_omp --on-signal INT + commandline --function repaint +end + # perform cleanup so a new initialization in current session works if test "$(string match -e '_render_transient' $(bind \r --user 2>/dev/null))" != '' bind -e \r