diff options
| author | Stephane Carrez <stcarrez@nerim.fr> | 2002-08-26 19:35:37 +0000 |
|---|---|---|
| committer | Stephane Carrez <stcarrez@nerim.fr> | 2002-08-26 19:35:37 +0000 |
| commit | 1533ce99dd9a44bccb0ca82f534590d62e343a28 (patch) | |
| tree | c35830f55ce312a597c85549c06775b6818b2056 /gdb/tui/tui.c | |
| parent | a790ad353e281fa104029acfa34c9cf866ad4873 (diff) | |
| download | gdb-1533ce99dd9a44bccb0ca82f534590d62e343a28.zip gdb-1533ce99dd9a44bccb0ca82f534590d62e343a28.tar.gz gdb-1533ce99dd9a44bccb0ca82f534590d62e343a28.tar.bz2 | |
Fix PR gdb/393:
* tui.c (tui_disable): Update gdb's knowledge of its terminal
using target_terminal_save_ours.
(tui_enable): Likewise.
Diffstat (limited to 'gdb/tui/tui.c')
| -rw-r--r-- | gdb/tui/tui.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gdb/tui/tui.c b/gdb/tui/tui.c index 770c3e2..2b9ccae 100644 --- a/gdb/tui/tui.c +++ b/gdb/tui/tui.c @@ -266,6 +266,9 @@ tui_enable (void) tuiShowFrameInfo (selected_frame); refresh (); + + /* Update gdb's knowledge of its terminal. */ + target_terminal_save_ours (); tui_update_gdb_sizes (); } @@ -289,6 +292,9 @@ tui_disable (void) so that terminal management with the inferior works. */ tui_setup_io (0); + /* Update gdb's knowledge of its terminal. */ + target_terminal_save_ours (); + tui_version = 0; tui_active = 0; tui_update_gdb_sizes (); |