Fix PR gdb/393:

	* tui.c (tui_disable): Update gdb's knowledge of its terminal
	using target_terminal_save_ours.
	(tui_enable): Likewise.

diff --git a/gdb/tui/ChangeLog b/gdb/tui/ChangeLog
index 46f29d8c16e4d81b253575484455432bff85b95b..70627806796a57e2260f6a79054682ea8acb8ca4 100644 (file)
--- 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 770c3e2a7527e6d71ccc12d95c6ca19e56b6c98d..2b9ccae8c980fd3572bfd44891bfb6fc1caa094c 100644 (file)
--- 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 ();