diff --git a/gdb/ChangeLog b/gdb/ChangeLog index a22b7f80180..eadf4938f74 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,9 @@ +2015-04-28 Patrick Palka + + * utils.h (set_screen_width_and_height): Declare. + * utils.c (set_screen_width_and_height): Define. + * tui/tui-win.c (tui_update_gdb_sizes): Use it. + 2015-04-28 Gary Benson * infrun.c (solist.h): New include. diff --git a/gdb/tui/tui-win.c b/gdb/tui/tui-win.c index 3cf38fc7aaa..68309771764 100644 --- a/gdb/tui/tui-win.c +++ b/gdb/tui/tui-win.c @@ -465,15 +465,20 @@ bold-standout use extra bright or bold with standout mode"), void tui_update_gdb_sizes (void) { - char cmd[50]; + int width, height; - /* Set to TUI command window dimension or use readline values. */ - xsnprintf (cmd, sizeof (cmd), "set width %d", - tui_active ? TUI_CMD_WIN->generic.width : tui_term_width()); - execute_command (cmd, 0); - xsnprintf (cmd, sizeof (cmd), "set height %d", - tui_active ? TUI_CMD_WIN->generic.height : tui_term_height()); - execute_command (cmd, 0); + if (tui_active) + { + width = TUI_CMD_WIN->generic.width; + height = TUI_CMD_WIN->generic.height; + } + else + { + width = tui_term_width (); + height = tui_term_height (); + } + + set_screen_width_and_height (width, height); } diff --git a/gdb/utils.c b/gdb/utils.c index a9350d9ba7e..70708bfd253 100644 --- a/gdb/utils.c +++ b/gdb/utils.c @@ -1795,6 +1795,18 @@ set_height_command (char *args, int from_tty, struct cmd_list_element *c) set_screen_size (); } +/* See utils.h. */ + +void +set_screen_width_and_height (int width, int height) +{ + lines_per_page = height; + chars_per_line = width; + + set_screen_size (); + set_width (); +} + /* Wait, so the user can read what's on the screen. Prompt the user to continue by pressing RETURN. */ diff --git a/gdb/utils.h b/gdb/utils.h index b8e1aff7692..cae1ac05c4a 100644 --- a/gdb/utils.h +++ b/gdb/utils.h @@ -174,6 +174,10 @@ extern struct ui_file *gdb_stdtarg; extern struct ui_file *gdb_stdtargerr; extern struct ui_file *gdb_stdtargin; +/* Set the screen dimensions to WIDTH and HEIGHT. */ + +extern void set_screen_width_and_height (int width, int height); + /* More generic printf like operations. Filtered versions may return non-locally on error. */