[14/15] Don't call wrefresh from tui_cont_sig

Message ID 20190821022535.9762-15-tom@tromey.com
State New, archived
Headers

Commit Message

Tom Tromey Aug. 21, 2019, 2:25 a.m. UTC
  tui_cont_sig does not need to call wrefresh, because this is already
done by tui_refresh_all_win.

gdb/ChangeLog
2019-08-20  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(-)
  

Patch

diff --git a/gdb/tui/tui-io.c b/gdb/tui/tui-io.c
index ac7f0982755..ee581a2ff66 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);
 }