Minor simplification in tui_default_win_viewport_height
authorTom Tromey <tom@tromey.com>
Sat, 6 Jul 2019 22:28:46 +0000 (16:28 -0600)
committerTom Tromey <tom@tromey.com>
Thu, 15 Aug 2019 18:29:28 +0000 (12:29 -0600)
commitf4ce562c7f7a95cab61bf298d289cd56f0802a95
tree3fd24764643f6c63de5757e6a2e37bdcd7f46162
parentc398c3d0b56823bb12718ae46a8c273b866ca246
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.
gdb/ChangeLog
gdb/tui/tui-layout.c