Remove tui_set_win_height
authorTom Tromey <tom@tromey.com>
Fri, 28 Jun 2019 21:01:11 +0000 (15:01 -0600)
committerTom Tromey <tom@tromey.com>
Wed, 17 Jul 2019 18:19:04 +0000 (12:19 -0600)
commit4dde7b34f4e40ee6e0ea596357e4def60bd67d20
tree7287c847a36c3a94a9d934f329bb48d1517ac00a
parentb73dd8779c0530e91c6e5067eab4cb7ca3f794d5
Remove tui_set_win_height

tui_set_win_height_command is just a simple wrapper for
tui_set_win_height, so rename the latter and remove the wrapper.

gdb/ChangeLog
2019-07-17  Tom Tromey  <tom@tromey.com>

* tui/tui-win.c (tui_set_win_height_command): Rename from
tui_set_win_height.
(tui_set_win_height_command): Remove.
gdb/ChangeLog
gdb/tui/tui-win.c