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 | |
| 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.
| -rw-r--r-- | gdb/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/tui/tui-io.c | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 981189e..6f35232 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,9 @@ 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. Remove unnecessary forward declarations. 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); } |