diff options
Diffstat (limited to 'gdb/tui')
-rw-r--r-- | gdb/tui/tui-command.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gdb/tui/tui-command.h b/gdb/tui/tui-command.h index d743dd8..e4d04ef 100644 --- a/gdb/tui/tui-command.h +++ b/gdb/tui/tui-command.h @@ -40,6 +40,18 @@ struct tui_cmd_window void resize (int height, int width, int origin_x, int origin_y) override; + /* Compute the minimum height of this window. */ + virtual int min_height () const override + { + int preferred_min = tui_win_info::min_height (); + int max = max_height (); + /* If there is enough space to accommodate the preferred minimum height, + use it. Otherwise, use as much as possible. */ + return (preferred_min <= max + ? preferred_min + : max); + } + int start_line = 0; }; |