tui_setup_io (1);
- tui_version = 1;
tui_active = 1;
if (deprecated_selected_frame)
tuiShowFrameInfo (deprecated_selected_frame);
/* Update gdb's knowledge of its terminal. */
target_terminal_save_ours ();
- tui_version = 0;
tui_active = 0;
tui_update_gdb_sizes ();
}
int
tui_is_window_visible (TuiWinType type)
{
- if (tui_version == 0)
+ if (tui_active == 0)
return 0;
if (winList[type] == 0)
int
tui_get_command_dimension (int *width, int *height)
{
- if (!tui_version || !m_winPtrNotNull (cmdWin))
+ if (!tui_active || !m_winPtrNotNull (cmdWin))
{
return 0;
}