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.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 981189e1785681e5144e49955eda1e21696ee88d..6f35232897aa9ac6ada5814297724874dd2598fe 100644 (file)
--- 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 ac7f09827558801c8d125083adbf131efe5845da..ee581a2ff66a67248ab8c60b5456f20d71460b71 100644 (file)
--- 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);
 }