FileTabManager(IFileTabUIContextLocatorCreator fileTabUIContextLocatorCreator, FileTreeView fileTreeView, ITabManagerCreator tabManagerCreator, IFileTabContentFactoryManager fileTabContentFactoryManager, IFileTabManagerSettings fileTabManagerSettings, IWpfFocusManager wpfFocusManager, IDecompilationCache decompilationCache, [ImportMany] IEnumerable <Lazy <IReferenceFileTabContentCreator, IReferenceFileTabContentCreatorMetadata> > mefRefFactories)
{
this.fileTabManagerSettings = fileTabManagerSettings;
this.fileTabUIContextLocatorCreator = fileTabUIContextLocatorCreator;
this.fileTabContentFactoryManager = fileTabContentFactoryManager;
this.wpfFocusManager = wpfFocusManager;
this.decompilationCache = decompilationCache;
this.refFactories = mefRefFactories.OrderBy(a => a.Metadata.Order).ToArray();
var tvElem = fileTreeView.TreeView.UIObject as UIElement;
Debug.Assert(tvElem != null);
if (tvElem != null)
{
tvElem.IsVisibleChanged += TreeView_IsVisibleChanged;
isTreeViewVisible = tvElem.IsVisible;
}
this.fileTreeView = fileTreeView;
this.fileTreeView.FileManager.CollectionChanged += FileManager_CollectionChanged;
this.fileTreeView.SelectionChanged += FileTreeView_SelectionChanged;
this.fileTreeView.NodesTextChanged += FileTreeView_NodesTextChanged;
this.fileTreeView.NodeActivated += FileTreeView_NodeActivated;
this.fileTreeView.TreeView.NodeRemoved += TreeView_NodeRemoved;
this.tabManager = tabManagerCreator.Create();
this.tabGroupManager = this.tabManager.Create(new TabGroupManagerOptions(MenuConstants.GUIDOBJ_FILES_TABCONTROL_GUID));
this.tabGroupManager.TabSelectionChanged += TabGroupManager_TabSelectionChanged;
this.tabGroupManager.TabGroupSelectionChanged += TabGroupManager_TabGroupSelectionChanged;
}
public TabManager(IThemeManager themeManager, IMenuManager menuManager, IWpfFocusManager wpfFocusManager)
{
themeManager.ThemeChanged += ThemeManager_ThemeChanged;
this.menuManager = menuManager;
this.wpfFocusManager = wpfFocusManager;
this.tabGroupManagers = new List <TabGroupManager>();
this.selectedIndex = -1;
}
public TabManager(IThemeManager themeManager, IMenuManager menuManager, IWpfFocusManager wpfFocusManager)
{
themeManager.ThemeChanged += ThemeManager_ThemeChanged;
this.menuManager = menuManager;
this.wpfFocusManager = wpfFocusManager;
this.tabGroupManagers = new List<TabGroupManager>();
this.selectedIndex = -1;
}
public TabGroupManager(TabManager tabManager, IMenuManager menuManager, IWpfFocusManager wpfFocusManager, TabGroupManagerOptions options)
{
this.options = (options ?? new TabGroupManagerOptions()).Clone();
this.stackedContent = new StackedContent <TabGroup>();
this.tabSelectionChanged = new WeakEventList <TabSelectedEventArgs>();
this.tabGroupSelectionChanged = new WeakEventList <TabGroupSelectedEventArgs>();
this.tabGroupCollectionChanged = new WeakEventList <TabGroupCollectionChangedEventArgs>();
this.tabManager = tabManager;
this.menuManager = menuManager;
this.wpfFocusManager = wpfFocusManager;
this._activeIndex = -1;
}
public TabGroupManager(TabManager tabManager, IMenuManager menuManager, IWpfFocusManager wpfFocusManager, TabGroupManagerOptions options)
{
this.options = (options ?? new TabGroupManagerOptions()).Clone();
this.stackedContent = new StackedContent<TabGroup>();
this.tabSelectionChanged = new WeakEventList<TabSelectedEventArgs>();
this.tabGroupSelectionChanged = new WeakEventList<TabGroupSelectedEventArgs>();
this.tabGroupCollectionChanged = new WeakEventList<TabGroupCollectionChangedEventArgs>();
this.tabManager = tabManager;
this.menuManager = menuManager;
this.wpfFocusManager = wpfFocusManager;
this._activeIndex = -1;
}
public TabGroup(TabGroupManager tabGroupManager, IMenuManager menuManager, IWpfFocusManager wpfFocusManager, TabGroupManagerOptions options)
{
this.options = options;
this.tabContentAttached = new WeakEventList<TabContentAttachedEventArgs>();
this.tabGroupManager = tabGroupManager;
this.wpfFocusManager = wpfFocusManager;
this.tabControl = new TabControl();
this.tabControl.DataContext = this;
tabControl.SetStyle(options.TabControlStyle ?? "FileTabGroupTabControlStyle");
this.tabControl.SelectionChanged += TabControl_SelectionChanged;
if (options.InitializeContextMenu != null)
this.contextMenuCreator = options.InitializeContextMenu(menuManager, this, this.tabControl);
else if (options.TabGroupGuid != Guid.Empty)
this.contextMenuCreator = menuManager.InitializeContextMenu(this.tabControl, options.TabGroupGuid, new GuidObjectsCreator(this));
}
public TabGroup(TabGroupManager tabGroupManager, IMenuManager menuManager, IWpfFocusManager wpfFocusManager, TabGroupManagerOptions options)
{
this.options = options;
this.tabContentAttached = new WeakEventList <TabContentAttachedEventArgs>();
this.tabGroupManager = tabGroupManager;
this.wpfFocusManager = wpfFocusManager;
this.tabControl = new TabControl();
this.tabControl.DataContext = this;
tabControl.SetStyle(options.TabControlStyle ?? "FileTabGroupTabControlStyle");
this.tabControl.SelectionChanged += TabControl_SelectionChanged;
if (options.InitializeContextMenu != null)
{
this.contextMenuCreator = options.InitializeContextMenu(menuManager, this, this.tabControl);
}
else if (options.TabGroupGuid != Guid.Empty)
{
this.contextMenuCreator = menuManager.InitializeContextMenu(this.tabControl, options.TabGroupGuid, new GuidObjectsCreator(this));
}
}
TabManagerCreator(IThemeManager themeManager, IMenuManager menuManager, IWpfFocusManager wpfFocusManager)
{
this.themeManager = themeManager;
this.menuManager = menuManager;
this.wpfFocusManager = wpfFocusManager;
}
TabManagerProvider(IThemeManager themeManager, IMenuManager menuManager, IWpfFocusManager wpfFocusManager)
{
this.themeManager = themeManager;
this.menuManager = menuManager;
this.wpfFocusManager = wpfFocusManager;
}
