diff options
| author | Tom Tromey <tom@tromey.com> | 2019-10-07 17:36:49 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2019-12-11 15:49:00 -0700 |
| commit | dc7ff8a60818f002d7b759210202e0aaabfeebc3 (patch) | |
| tree | aab2731154853caf72ce141b5a88001b661f64c8 /gdb/tui/tui-data.h | |
| parent | 1431937bee66d6a36c377156d07856f6e469e552 (diff) | |
| download | gdb-dc7ff8a60818f002d7b759210202e0aaabfeebc3.zip gdb-dc7ff8a60818f002d7b759210202e0aaabfeebc3.tar.gz gdb-dc7ff8a60818f002d7b759210202e0aaabfeebc3.tar.bz2 | |
Introduce the tui_gen_win_info::min_height method
This introduces a new method, tui_gen_win_info::min_height, to fetch
the minimum height of a window. This is used in the subsequent
unified layout patch.
gdb/ChangeLog
2019-12-11 Tom Tromey <tom@tromey.com>
* tui/tui-stack.h (struct tui_locator_window) <min_height>:
Implement.
* tui/tui-regs.h (struct tui_data_item_window) <min_height>:
Implement.
* tui/tui-data.h (struct tui_gen_win_info) <min_height>: New
method.
(struct tui_win_info) <min_height>: Implement.
Change-Id: Id33baffdf041fde072e15c1ff89b75f8b8118adb
Diffstat (limited to 'gdb/tui/tui-data.h')
| -rw-r--r-- | gdb/tui/tui-data.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gdb/tui/tui-data.h b/gdb/tui/tui-data.h index d441a38..a25ab11 100644 --- a/gdb/tui/tui-data.h +++ b/gdb/tui/tui-data.h @@ -85,6 +85,9 @@ public: /* Compute the maximum height of this window. */ virtual int max_height () const = 0; + /* Compute the minimum height of this window. */ + virtual int min_height () const = 0; + /* Return true if this window can be boxed. */ virtual bool can_box () const { @@ -184,6 +187,11 @@ public: int max_height () const override; + int min_height () const override + { + return MIN_WIN_HEIGHT; + } + /* Called after the tab width has been changed. */ virtual void update_tab_width () { |