Don't check window type in tui_set_win_focus_to
authorTom Tromey <tom@tromey.com>
Thu, 20 Jun 2019 21:22:53 +0000 (15:22 -0600)
committerTom Tromey <tom@tromey.com>
Tue, 25 Jun 2019 13:48:44 +0000 (07:48 -0600)
commitbbc228ee056cd006e971d5f1cb70ae0f69c1eb36
treea7ea33278d5630ed20388d69a133cb95ecfe926f
parent5fcee43a960f0735c53a7c24823b2e4bc1460b9f
Don't check window type in tui_set_win_focus_to

This changes tui_set_win_focus_to so that it no longer checks the
window type.  Instead, now tui_unhighlight_win also checks whether the
window can be highlighted.

gdb/ChangeLog
2019-06-25  Tom Tromey  <tom@tromey.com>

* tui/tui-win.c (tui_set_win_focus_to): Don't check window type.
* tui/tui-wingeneral.c (tui_unhighlight_win): Check
can_highlight.
gdb/ChangeLog
gdb/tui/tui-win.c
gdb/tui/tui-wingeneral.c