Update TUI window title when changed
authorTom Tromey <tom@tromey.com>
Thu, 29 Jun 2023 17:26:55 +0000 (11:26 -0600)
committerTom Tromey <tom@tromey.com>
Mon, 10 Jul 2023 19:48:22 +0000 (13:48 -0600)
commit9fe01a376b2fb096e4836e985ba316ce9dc02399
tree976b08d7db993188a946eabae9ea13a4d5a4eb50
parent405a9dd06417a9272442b8818a867f6c008b7a48
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.
gdb/python/py-tui.c
gdb/testsuite/gdb.python/tui-window.exp
gdb/testsuite/gdb.python/tui-window.py
gdb/tui/tui-data.c
gdb/tui/tui-data.h