diff options
| author | Tom Tromey <tom@tromey.com> | 2023-06-29 11:26:55 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2023-07-10 13:48:22 -0600 |
| commit | 9fe01a376b2fb096e4836e985ba316ce9dc02399 (patch) | |
| tree | 976b08d7db993188a946eabae9ea13a4d5a4eb50 /gdb/tui/tui-data.h | |
| parent | 405a9dd06417a9272442b8818a867f6c008b7a48 (diff) | |
| download | fsf-binutils-gdb-9fe01a376b2fb096e4836e985ba316ce9dc02399.zip fsf-binutils-gdb-9fe01a376b2fb096e4836e985ba316ce9dc02399.tar.gz fsf-binutils-gdb-9fe01a376b2fb096e4836e985ba316ce9dc02399.tar.bz2 | |
Update TUI window title when changed
I wrote a TUI window in Python, and I noticed that setting its title
did not result in a refresh, so the new title did not appear. This
patch corrects this problem.
Diffstat (limited to 'gdb/tui/tui-data.h')
| -rw-r--r-- | gdb/tui/tui-data.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gdb/tui/tui-data.h b/gdb/tui/tui-data.h index c92e85c..030ce2a 100644 --- a/gdb/tui/tui-data.h +++ b/gdb/tui/tui-data.h @@ -146,6 +146,10 @@ public: void check_and_display_highlight_if_needed (); + /* A helper function to change the title and then redraw the + surrounding box, if needed. */ + void set_title (const char *new_title); + /* Window handle. */ std::unique_ptr<WINDOW, curses_deleter> handle; /* Window width. */ |