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); }