This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
[PATCH]: Use terminal_save_ours in tui_enable/disable
- To: gdb-patches at sources dot redhat dot com
- Subject: [PATCH]: Use terminal_save_ours in tui_enable/disable
- From: Stephane Carrez <Stephane dot Carrez at worldnet dot fr>
- Date: Sun, 22 Jul 2001 00:51:05 +0200
Hi!
When the following patch is approved:
[RFA]: New function terminal_save_ours()
http://sources.redhat.com/ml/gdb-patches/2001-07/msg00497.html
I'll commit this patch to use terminal_save_ours() to update the
gdb's terminal knowledge when we enable/disable TUI.
Stephane
2001-07-22 Stephane Carrez <Stephane.Carrez@worldnet.fr>
* tui.c (tui_disable): Update gdb's terminal knowledge with
terminal_save_ours.
(tui_enable): Likewise.
Index: tui.c
===================================================================
RCS file: /cvs/src/src/gdb/tui/tui.c,v
retrieving revision 1.12
diff -u -p -r1.12 tui.c
--- tui.c 2001/07/21 22:24:44 1.12
+++ tui.c 2001/07/21 22:40:41
@@ -232,6 +232,9 @@ tui_enable (void)
tui_version = 1;
tui_active = 1;
refresh ();
+
+ /* Update gdb's knowledge of its terminal. */
+ terminal_save_ours ();
}
/* Leave the tui mode.
@@ -254,6 +257,8 @@ 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;
}