From 55b2657bdc4f9494c13f5b6f69dd7f67d72275c0 Mon Sep 17 00:00:00 2001
From: Tom Tromey <tom@tromey.com>
Date: Thu, 18 Jul 2019 14:34:39 -0600
Subject: [PATCH] Don't call wrefresh from tui_cont_sig

tui_cont_sig does not need to call wrefresh, because this is already
done by tui_refresh_all_win.

gdb/ChangeLog
2019-08-30  Tom Tromey  <tom@tromey.com>

	* tui/tui-io.c (tui_cont_sig): Don't call wrefresh.
---
 gdb/ChangeLog    | 4 ++++
 gdb/tui/tui-io.c | 2 --
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 981189e178..6f35232897 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2019-08-30  Tom Tromey  <tom@tromey.com>
+
+	* tui/tui-io.c (tui_cont_sig): Don't call wrefresh.
+
 2019-08-30  Tom Tromey  <tom@tromey.com>
 
 	* tui/tui-stack.c (_initialize_tui_stack): Move later.
diff --git a/gdb/tui/tui-io.c b/gdb/tui/tui-io.c
index ac7f098275..ee581a2ff6 100644
--- a/gdb/tui/tui-io.c
+++ b/gdb/tui/tui-io.c
@@ -851,8 +851,6 @@ tui_cont_sig (int sig)
 
       /* Force a refresh of the screen.  */
       tui_refresh_all_win ();
-
-      wrefresh (TUI_CMD_WIN->handle);
     }
   signal (sig, tui_cont_sig);
 }