From c78e6a3ccf39b943deb322d3576215e3b3084e9e Mon Sep 17 00:00:00 2001 From: Fabian Homborg Date: Thu, 25 Oct 2018 17:34:01 +0200 Subject: [PATCH] edit_command_buffer: repaint Thanks @amosbird on gitter. --- share/functions/edit_command_buffer.fish | 3 +++ 1 file changed, 3 insertions(+) diff --git a/share/functions/edit_command_buffer.fish b/share/functions/edit_command_buffer.fish index 540057a44..423816190 100644 --- a/share/functions/edit_command_buffer.fish +++ b/share/functions/edit_command_buffer.fish @@ -45,4 +45,7 @@ function edit_command_buffer --description 'Edit the command buffer in an extern echo (_ "or the file was empty") end command rm $f + # We've probably opened something that messed with the screen. + # A repaint seems in order. + commandline -f repaint end