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/tui-file.h | |
| 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/tui-file.h')
0 files changed, 0 insertions, 0 deletions