From f4ce562c7f7a95cab61bf298d289cd56f0802a95 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Sat, 6 Jul 2019 16:28:46 -0600 Subject: [PATCH] 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 * tui/tui-layout.c (tui_default_win_viewport_height): Don't examine tui_win_list. --- gdb/ChangeLog | 5 +++++ gdb/tui/tui-layout.c | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index b3d3028fc5..7e7c8a8320 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2019-08-15 Tom Tromey + + * tui/tui-layout.c (tui_default_win_viewport_height): Don't + examine tui_win_list. + 2019-08-15 Tom Tromey * tui/tui-winsource.h (tui_clear_source_content): Don't declare. diff --git a/gdb/tui/tui-layout.c b/gdb/tui/tui-layout.c index c2abcf4429..d10c9a043d 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; -- 2.34.1