Change tui_update_source_window for better type safety
authorTom Tromey <tom@tromey.com>
Sun, 16 Jun 2019 22:31:37 +0000 (16:31 -0600)
committerTom Tromey <tom@tromey.com>
Tue, 25 Jun 2019 13:48:38 +0000 (07:48 -0600)
commitbe4da58857ee4a26b7e58893211ea4f54922e8fd
tree12ffcea171c9ab418714583c36bec5119f19d959
parent5b81daba91b035ce98fb7be4970fc2be0183f6ea
Change tui_update_source_window for better type safety

tui_update_source_window can only be called for source and disassembly
windows, so change the argument type to enforce this at compile time.

gdb/ChangeLog
2019-06-25  Tom Tromey  <tom@tromey.com>

* tui/tui-winsource.h (tui_update_source_window)
(tui_update_source_window_as_is): Change parameter type.
* tui/tui-winsource.c (tui_update_source_window): Change win_info
to be a tui_source_window_base.
(tui_update_source_window_as_is): Likewise.
* tui/tui-win.c (make_visible_with_new_height): Update.
gdb/ChangeLog
gdb/tui/tui-win.c
gdb/tui/tui-winsource.c
gdb/tui/tui-winsource.h