diff --git a/gdb/tui/ChangeLog b/gdb/tui/ChangeLog
index 46f29d8c16..7062780679 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 770c3e2a75..2b9ccae8c9 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 ();