From 1533ce99dd9a44bccb0ca82f534590d62e343a28 Mon Sep 17 00:00:00 2001 From: Stephane Carrez Date: Mon, 26 Aug 2002 19:35:37 +0000 Subject: 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(+) (limited to 'gdb/tui') diff --git a/gdb/tui/ChangeLog b/gdb/tui/ChangeLog index 46f29d8..7062780 100644 --- a/gdb/tui/ChangeLog +++ b/gdb/tui/ChangeLog @@ -1,3 +1,10 @@ +2002-08-26 Stephane Carrez + + 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 * tui.c (tui_rl_switch_mode): Renames tui_switch_mode. diff --git a/gdb/tui/tui.c b/gdb/tui/tui.c index 770c3e2..2b9ccae 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 (); -- cgit v1.1