diff options
| author | Tom Tromey <tromey@adacore.com> | 2020-10-19 07:45:05 -0600 |
|---|---|---|
| committer | Tom Tromey <tromey@adacore.com> | 2020-10-19 13:45:24 -0600 |
| commit | 22cc388e2b940608d4d759dc61c0335cfc621de1 (patch) | |
| tree | 359e6288d162b0178a049f6158964b115bef62a8 /gdb/tui/tui-winsource.h | |
| parent | 3c6eb4d439a31ec39d8c04f3b99d8a9f0bd607d2 (diff) | |
| download | binutils-22cc388e2b940608d4d759dc61c0335cfc621de1.zip binutils-22cc388e2b940608d4d759dc61c0335cfc621de1.tar.gz binutils-22cc388e2b940608d4d759dc61c0335cfc621de1.tar.bz2 | |
Don't erase TUI source window when switching focus
PR tui/26719 points out that switching the focus can erase the TUI
source window. This is a regression introduced by the patch to switch
the source window to using a pad.
This patch fixes the bug by arranging to call prefresh whenever the
window is refreshed.
2020-10-19 Tom Tromey <tromey@adacore.com>
PR tui/26719
* tui/tui-winsource.h (struct tui_source_window_base)
<refresh_window>: Rename from refresh_pad.
* tui/tui-winsource.c (tui_source_window_base::refresh_window):
Rename from refresh_pad.
(tui_source_window_base::show_source_content)
(tui_source_window_base::do_scroll_horizontal): Update.
gdb/testsuite/ChangeLog
2020-10-19 Tom Tromey <tromey@adacore.com>
PR tui/26719
* gdb.tui/list.exp: Check source window contents after focus
change.
Diffstat (limited to 'gdb/tui/tui-winsource.h')
| -rw-r--r-- | gdb/tui/tui-winsource.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gdb/tui/tui-winsource.h b/gdb/tui/tui-winsource.h index 5fc6a6d..6dcf0ef 100644 --- a/gdb/tui/tui-winsource.h +++ b/gdb/tui/tui-winsource.h @@ -171,6 +171,8 @@ public: /* Erase the source content. */ virtual void erase_source_content () = 0; + void refresh_window () override; + /* Return the start address and gdbarch. */ virtual void display_start_addr (struct gdbarch **gdbarch_p, CORE_ADDR *addr_p) = 0; @@ -179,9 +181,6 @@ private: void show_source_content (); - /* Re-display the pad in the window. */ - void refresh_pad (); - /* Called when the user "set style enabled" setting is changed. */ void style_changed (); |