* tui.c (tui_enable): Remove call to terminal_save_ours().

	(tui_disable): Likewise.

diff --git a/gdb/tui/ChangeLog b/gdb/tui/ChangeLog
index a16f30ec50d4adfa2220f71c48a6e4687111ddde..42ed3362423e028e6ca26816d15d30bf0bb5afcc 100644 (file)
--- a/gdb/tui/ChangeLog
+++ b/gdb/tui/ChangeLog
@@ -1,3 +1,8 @@
+2001-07-31  Stephane Carrez  <Stephane.Carrez@worldnet.fr>
+
+       * tui.c (tui_enable): Remove call to terminal_save_ours().
+       (tui_disable): Likewise.
+
 2001-07-28  Stephane Carrez  <Stephane.Carrez@worldnet.fr>
 
        * tuiWin.c (_initialize_tuiWin): Use specific tui prefix for

diff --git a/gdb/tui/tui.c b/gdb/tui/tui.c
index b224be9bd6db3036122358770b63f31b7b4cb345..930ae266dea3c42de35c7628fde319c1680c7524 100644 (file)
--- a/gdb/tui/tui.c
+++ b/gdb/tui/tui.c
@@ -240,9 +240,6 @@ tui_enable (void)
   tui_version = 1;
   tui_active = 1;
   refresh ();
-
-  /* Update gdb's knowledge of its terminal.  */
-  terminal_save_ours ();
 }
 
 /* Leave the tui mode.
@@ -265,8 +262,6 @@ tui_disable (void)
      so that terminal management with the inferior works.  */
   tui_setup_io (0);
 
-  /* Update gdb's knowledge of its terminal.  */
-  terminal_save_ours ();
   tui_version = 0;
   tui_active = 0;
 }