diff options
| -rw-r--r-- | gdb/ChangeLog | 7 | ||||
| -rw-r--r-- | gdb/tui/tui-io.c | 1 | ||||
| -rw-r--r-- | gdb/tui/tui.c | 7 |
3 files changed, 15 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 2a75cea..bdce011 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,12 @@ 2015-02-11 Patrick Palka <patrick@parcs.ath.cx> + * 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 <patrick@parcs.ath.cx> + * tui/tui-io.c (tui_getc): Move cursor to the end of the command line before printing a newline. diff --git a/gdb/tui/tui-io.c b/gdb/tui/tui-io.c index 4083cde..199f331 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 92463df..834e682 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. */ |