void TabGroupService_TabGroupSelectionChanged(object sender, TabGroupSelectedEventArgs e) { if (e.Unselected != null) { var impl = (TabContentImpl)e.Unselected.ActiveTabContent; if (impl != null) { impl.OnUnselected(); } } if (e.Selected != null) { var impl = (TabContentImpl)e.Selected.ActiveTabContent; if (impl != null) { impl.OnSelected(); OnNewTabContentShown(impl); } } }
void TabGroupService_TabGroupSelectionChanged(object sender, TabGroupSelectedEventArgs e) => tabGroupSelectionChanged.Raise(this, new ToolWindowGroupSelectedEventArgs(GetToolWindowGroup(e.Selected), GetToolWindowGroup(e.Unselected)));
void tabGroupsManager_OnTabGroupSelected(object sender, TabGroupSelectedEventArgs e) { var oldTabManager = tabGroupsManager.AllTabGroups[e.OldIndex]; var newTabManager = tabGroupsManager.AllTabGroups[e.NewIndex]; UninitializeActiveTab(oldTabManager.ActiveTabState, true); InitializeActiveTab(newTabManager.ActiveTabState, true); var activeTabState = newTabManager.ActiveTabState; if (activeTabState != null) SetTabFocus(activeTabState); if (OnActiveTabStateChanged != null) OnActiveTabStateChanged(this, new TabStateChangedEventArgs(oldTabManager.ActiveTabState, newTabManager.ActiveTabState)); }
void tabGroupsManager_OnTabGroupSelected(object sender, TabGroupSelectedEventArgs e) { var oldTabManager = tabGroupsManager.AllTabGroups[e.OldIndex]; var newTabManager = tabGroupsManager.AllTabGroups[e.NewIndex]; UninitializeActiveTab(oldTabManager.ActiveTabState, true); InitializeActiveTab(newTabManager.ActiveTabState, true); var activeTabState = newTabManager.ActiveTabState; if (activeTabState != null) SetTextEditorFocus(activeTabState.TextView); if (OnActiveDecompilerTextViewChanged != null) { var oldView = oldTabManager.ActiveTabState == null ? null : oldTabManager.ActiveTabState.TextView; var newView = newTabManager.ActiveTabState == null ? null : newTabManager.ActiveTabState.TextView; OnActiveDecompilerTextViewChanged(this, new DecompilerTextViewChangedEventArgs(oldView, newView)); } }