Example #1
0
        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));
        }
Example #2
0
		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));
			}
		}