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));
}
}
