Fix PR gdb/393:
* tui.c (tui_disable): Update gdb's knowledge of its terminal using target_terminal_save_ours. (tui_enable): Likewise.
This commit is contained in:
parent
a790ad353e
commit
1533ce99dd
|
@ -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.
|
||||
|
|
|
@ -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 ();
|
||||
|
|
Loading…
Reference in New Issue