diff options
| author | Tom Tromey <tom@tromey.com> | 2019-07-06 16:28:46 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2019-08-15 12:29:28 -0600 |
| commit | f4ce562c7f7a95cab61bf298d289cd56f0802a95 (patch) | |
| tree | 3fd24764643f6c63de5757e6a2e37bdcd7f46162 /gdb/tui | |
| parent | c398c3d0b56823bb12718ae46a8c273b866ca246 (diff) | |
| download | gdb-f4ce562c7f7a95cab61bf298d289cd56f0802a95.zip gdb-f4ce562c7f7a95cab61bf298d289cd56f0802a95.tar.gz gdb-f4ce562c7f7a95cab61bf298d289cd56f0802a95.tar.bz2 | |
Minor simplification in tui_default_win_viewport_height
tui_default_win_viewport_height doesn't need to look at tui_win_list;
it can simply check the type directly.
gdb/ChangeLog
2019-08-15 Tom Tromey <tom@tromey.com>
* tui/tui-layout.c (tui_default_win_viewport_height): Don't
examine tui_win_list.
Diffstat (limited to 'gdb/tui')
| -rw-r--r-- | gdb/tui/tui-layout.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/tui/tui-layout.c b/gdb/tui/tui-layout.c index c2abcf4..d10c9a0 100644 --- a/gdb/tui/tui-layout.c +++ b/gdb/tui/tui-layout.c @@ -304,7 +304,7 @@ tui_default_win_viewport_height (enum tui_win_type type, h = tui_default_win_height (type, layout); - if (tui_win_list[type] == TUI_CMD_WIN) + if (type == CMD_WIN) h -= 1; else h -= 2; |