From 55b2657bdc4f9494c13f5b6f69dd7f67d72275c0 Mon Sep 17 00:00:00 2001 From: Tom Tromey 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 * 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 981189e1785..6f35232897a 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2019-08-30 Tom Tromey + + * tui/tui-io.c (tui_cont_sig): Don't call wrefresh. + 2019-08-30 Tom Tromey * tui/tui-stack.c (_initialize_tui_stack): Move later. 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); } -- 2.30.2