diff options
author | Stephane Carrez <stcarrez@nerim.fr> | 2005-11-11 18:07:09 +0000 |
---|---|---|
committer | Stephane Carrez <stcarrez@nerim.fr> | 2005-11-11 18:07:09 +0000 |
commit | fddb59b72951dadda932014455ae1c4809964b62 (patch) | |
tree | d7c704f4ecf01a78998f595cfda2208515d1c60f /gdb/tui | |
parent | c3d0b56edf3b62b6ba6e9cc5ee31baaa80e956eb (diff) | |
download | gdb-fddb59b72951dadda932014455ae1c4809964b62.zip gdb-fddb59b72951dadda932014455ae1c4809964b62.tar.gz gdb-fddb59b72951dadda932014455ae1c4809964b62.tar.bz2 |
* tui/tui-win.c (tui_update_gdb_sizes): Use tui_term_width() and
tui_term_height() to restore the terminal size when leaving the
TUI mode.
Diffstat (limited to 'gdb/tui')
-rw-r--r-- | gdb/tui/tui-win.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gdb/tui/tui-win.c b/gdb/tui/tui-win.c index 739c53c..a056045 100644 --- a/gdb/tui/tui-win.c +++ b/gdb/tui/tui-win.c @@ -450,15 +450,13 @@ void tui_update_gdb_sizes (void) { char cmd[50]; - int screenheight, screenwidth; - rl_get_screen_size (&screenheight, &screenwidth); /* Set to TUI command window dimension or use readline values. */ sprintf (cmd, "set width %d", - tui_active ? TUI_CMD_WIN->generic.width : screenwidth); + tui_active ? TUI_CMD_WIN->generic.width : tui_term_width()); execute_command (cmd, 0); sprintf (cmd, "set height %d", - tui_active ? TUI_CMD_WIN->generic.height : screenheight); + tui_active ? TUI_CMD_WIN->generic.height : tui_term_height()); execute_command (cmd, 0); } |