diff options
| author | Tom Tromey <tom@tromey.com> | 2019-07-18 14:34:39 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2019-08-30 12:57:10 -0600 |
| commit | 55b2657bdc4f9494c13f5b6f69dd7f67d72275c0 (patch) | |
| tree | 8ff2a93882296a66141bafd3a15bb044320ace28 /gdb/tui/tui-io.c | |
| parent | 12a8555a5402b46da5ad39e29156c0d6b3a81a78 (diff) | |
| download | gdb-55b2657bdc4f9494c13f5b6f69dd7f67d72275c0.zip gdb-55b2657bdc4f9494c13f5b6f69dd7f67d72275c0.tar.gz gdb-55b2657bdc4f9494c13f5b6f69dd7f67d72275c0.tar.bz2 | |
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.
Diffstat (limited to 'gdb/tui/tui-io.c')
| -rw-r--r-- | gdb/tui/tui-io.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gdb/tui/tui-io.c b/gdb/tui/tui-io.c index ac7f098..ee581a2 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); } |