Make tui_locator_window::set_locator_fullname re-render
authorTom Tromey <tom@tromey.com>
Thu, 18 Jul 2019 20:08:53 +0000 (14:08 -0600)
committerTom Tromey <tom@tromey.com>
Fri, 30 Aug 2019 18:57:09 +0000 (12:57 -0600)
commit900ac24287a26146a6a5f4b3b9d6610f3b574428
treed0365de6d64a6f814ce6d0f68ac3f01c062c14b2
parent99ab33fb2dab538b13df0f8c02ea02ff1fd6c4db
Make tui_locator_window::set_locator_fullname re-render

This changes tui_locator_window::set_locator_fullname to re-render the
locator window, so that the callers don't need to do this.

gdb/ChangeLog
2019-08-30  Tom Tromey  <tom@tromey.com>

* tui/tui-stack.c (tui_locator_window::set_locator_fullname): Call
rerender.
(tui_update_locator_fullname, tui_show_frame_info): Don't call
tui_show_locator_content.
gdb/ChangeLog
gdb/tui/tui-stack.c