diff options
Diffstat (limited to 'gdb/tui/tui-data.h')
| -rw-r--r-- | gdb/tui/tui-data.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gdb/tui/tui-data.h b/gdb/tui/tui-data.h index 95c9161..7030e84 100644 --- a/gdb/tui/tui-data.h +++ b/gdb/tui/tui-data.h @@ -306,6 +306,11 @@ public: /* Compute the maximum height of this window. */ virtual int max_height () const; + /* Called after the tab width has been changed. */ + virtual void update_tab_width () + { + } + /* Set whether this window is highglighted. */ void set_highlight (bool highlight) { @@ -362,6 +367,8 @@ public: void set_new_height (int height) override; + void update_tab_width () override; + /* Does the locator belong to this window? */ bool m_has_locator = false; /* Execution information window. */ |