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-regs.h | |
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-regs.h')
0 files changed, 0 insertions, 0 deletions