gdb/tui: make tui_win_info::title private
authorAndrew Burgess <aburgess@redhat.com>
Mon, 10 Jul 2023 14:56:47 +0000 (15:56 +0100)
committerAndrew Burgess <aburgess@redhat.com>
Sat, 15 Jul 2023 10:40:45 +0000 (11:40 +0100)
commit6c1e84f5c6f36263998ef1934bf3132c8cebe75e
treeac7dbf112836c1e22b1becdc40bcabc363eb8a7a
parent34f997c8f7475211920a8d41b6905a6da2462b28
gdb/tui: make tui_win_info::title private

This commit builds on this earlier work:

  commit 9fe01a376b2fb096e4836e985ba316ce9dc02399
  Date:   Thu Jun 29 11:26:55 2023 -0600

      Update TUI window title when changed

and makes tui_win_info::title private, renaming to m_title at the same
time.  There's a new tui_win_info::title() member function to provide
read-only access to the title.

There should be no user visible changes after this commit.

Approved-By: Tom Tromey <tom@tromey.com>
gdb/python/py-tui.c
gdb/tui/tui-data.c
gdb/tui/tui-data.h
gdb/tui/tui-regs.c
gdb/tui/tui-source.c
gdb/tui/tui-wingeneral.c