diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 2a75ceaaf52..bdce011404f 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,10 @@ +2015-02-11 Patrick Palka + + * tui/tui-io.c (tui_handle_resize_during_io): Call + tui_update_gdb_sizes() after resizing the screen. + * tui/tui.c (tui_enable): Resize the terminal before + calling tui_update_gdb_sizes(). + 2015-02-11 Patrick Palka * tui/tui-io.c (tui_getc): Move cursor to the end of the command diff --git a/gdb/tui/tui-io.c b/gdb/tui/tui-io.c index 4083cdede29..199f331520f 100644 --- a/gdb/tui/tui-io.c +++ b/gdb/tui/tui-io.c @@ -743,6 +743,7 @@ tui_handle_resize_during_io (int original_ch, int for_completion) { tui_resize_all (); tui_refresh_all_win (); + tui_update_gdb_sizes (); tui_set_win_resized_to (FALSE); if (!for_completion) { diff --git a/gdb/tui/tui.c b/gdb/tui/tui.c index 92463df3e5a..834e6827547 100644 --- a/gdb/tui/tui.c +++ b/gdb/tui/tui.c @@ -492,6 +492,13 @@ tui_enable (void) /* Restore TUI keymap. */ tui_set_key_mode (tui_current_key_mode); + + /* Resize and refresh the screen. */ + if (tui_win_resized ()) + { + tui_resize_all (); + tui_set_win_resized_to (FALSE); + } tui_refresh_all_win (); /* Update gdb's knowledge of its terminal. */