diff options
| -rw-r--r-- | gdb/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/tui/tui-layout.c | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index b3d3028..7e7c8a8 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,10 @@ 2019-08-15 Tom Tromey <tom@tromey.com> + * tui/tui-layout.c (tui_default_win_viewport_height): Don't + examine tui_win_list. + +2019-08-15 Tom Tromey <tom@tromey.com> + * tui/tui-winsource.h (tui_clear_source_content): Don't declare. * tui/tui-winsource.c (tui_update_source_window_as_is): Don't call tui_clear_source_content. 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; |