tui_check_and_display_highlight_if_needed currently checks the
window's type; but this can be replaced with a check of
"can_highlight", making it more polymorphically-correct.
gdb/ChangeLog
2019-07-17 Tom Tromey <tom@tromey.com>
* tui/tui-wingeneral.c
(tui_check_and_display_highlight_if_needed): Check can_highlight.
+2019-07-17 Tom Tromey <tom@tromey.com>
+
+ * tui/tui-wingeneral.c
+ (tui_check_and_display_highlight_if_needed): Check can_highlight.
+
2019-07-17 Tom Tromey <tom@tromey.com>
* tui/tui-data.h (struct tui_win_info) <can_scroll>: New method.
void
tui_check_and_display_highlight_if_needed (struct tui_win_info *win_info)
{
- if (win_info != NULL && win_info->type != CMD_WIN)
+ if (win_info != NULL && win_info->can_highlight)
{
if (win_info->is_highlighted)
tui_highlight_win (win_info);