public static void SetCurrentPage(int index) { if (index < 0 || Pages.Count <= index) { ExplorerCore.Log("cannot set page " + index); return; } m_currentPage = index; GUIHelper.BringWindowToFront(MainWindowID); GUI.FocusWindow(MainWindowID); }
private static void FocusWindow(WindowBase window) { if (!TabView) { GUIHelper.BringWindowToFront(window.windowID); GUI.FocusWindow(window.windowID); } else { TabViewWindow.Instance.TargetTabID = Windows.IndexOf(window); } }