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/target.h | |
| parent | 405a9dd06417a9272442b8818a867f6c008b7a48 (diff) | |
| download | gdb-9fe01a376b2fb096e4836e985ba316ce9dc02399.zip gdb-9fe01a376b2fb096e4836e985ba316ce9dc02399.tar.gz 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/target.h')
0 files changed, 0 insertions, 0 deletions