From 1533ce99dd9a44bccb0ca82f534590d62e343a28 Mon Sep 17 00:00:00 2001
From: Stephane Carrez <stcarrez@nerim.fr>
Date: Mon, 26 Aug 2002 19:35:37 +0000
Subject: [PATCH] Fix PR gdb/393: * tui.c (tui_disable): Update
gdb's knowledge of its terminal using target_terminal_save_ours.
(tui_enable): Likewise.
---
gdb/tui/ChangeLog | 7 +++++++
gdb/tui/tui.c | 6 ++++++
2 files changed, 13 insertions(+)
diff --git a/gdb/tui/ChangeLog b/gdb/tui/ChangeLog
index 46f29d8c16e..70627806796 100644
--- a/gdb/tui/ChangeLog
+++ b/gdb/tui/ChangeLog
@@ -1,3 +1,10 @@
+2002-08-26 Stephane Carrez <stcarrez@nerim.fr>
+
+ Fix PR gdb/393:
+ * tui.c (tui_disable): Update gdb's knowledge of its terminal
+ using target_terminal_save_ours.
+ (tui_enable): Likewise.
+
2002-08-25 Stephane Carrez <stcarrez@nerim.fr>
* tui.c (tui_rl_switch_mode): Renames tui_switch_mode.
diff --git a/gdb/tui/tui.c b/gdb/tui/tui.c
index 770c3e2a752..2b9ccae8c98 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 ();