diff options
Diffstat (limited to 'gdb/tui/tui-data.h')
| -rw-r--r-- | gdb/tui/tui-data.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/tui/tui-data.h b/gdb/tui/tui-data.h index d3fa036..6683848 100644 --- a/gdb/tui/tui-data.h +++ b/gdb/tui/tui-data.h @@ -291,6 +291,8 @@ public: return true; } + void check_and_display_highlight_if_needed (); + /* Can this window ever be highlighted? */ bool can_highlight = true; |