aboutsummaryrefslogtreecommitdiff
path: root/gdb/tui
diff options
context:
space:
mode:
authorTom Tromey <tom@tromey.com>2019-07-06 16:28:46 -0600
committerTom Tromey <tom@tromey.com>2019-08-15 12:29:28 -0600
commitf4ce562c7f7a95cab61bf298d289cd56f0802a95 (patch)
tree3fd24764643f6c63de5757e6a2e37bdcd7f46162 /gdb/tui
parentc398c3d0b56823bb12718ae46a8c273b866ca246 (diff)
downloadgdb-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.c2
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;