* tui.c (tui_disable): Update gdb's knowledge of its terminal
using target_terminal_save_ours.
(tui_enable): Likewise.
+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.
tuiShowFrameInfo (selected_frame);
refresh ();
+
+ /* Update gdb's knowledge of its terminal. */
+ target_terminal_save_ours ();
tui_update_gdb_sizes ();
}
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 ();