private void OpenMembers(object sender, EventArgs e) { Controls.NavigationBar navBar = GetNavigationBar(); if (navBar == null || !navBar.Visible) { return; } navBar.OpenMembers(); }
/// <summary> /// Handles the incoming events /// </summary> public void HandleEvent(object sender, NotifyEvent e, HandlingPriority prority) { if (e.Type == EventType.FileOpen || e.Type == EventType.FileNew) { ITabbedDocument document = PluginBase.MainForm.CurrentDocument; if (document != null) { // Check to see if we've already added an NavigationBar to the // current document. if (document.SciControl == null) return; Controls.NavigationBar bar = GetNavigationBar(document); if (bar != null) return; // Dock a new navigation bar to the top of the current document bar = new Controls.NavigationBar(document, _settings); document.Controls.Add(bar); } } else if (e.Type == EventType.FileSwitch) { ITabbedDocument document = PluginBase.MainForm.CurrentDocument; if (document != null) { // Check to see if this document contains a text editor. if (document.SciControl == null) return; // Refresh the navigation bar Controls.NavigationBar bar = GetNavigationBar(document); if (bar != null) bar.RefreshSettings(); } } else if (e.Type == EventType.Command) { DataEvent de = e as DataEvent; if (de.Action.StartsWith("ProjectManager.")) { if (de.Action == ProjectManagerCommands.NewProject) NavigationManager.Instance.Clear(); else if (de.Action == ProjectManagerCommands.OpenProject) NavigationManager.Instance.Clear(); } } else if (e.Type == EventType.ApplyTheme) { foreach (var document in PluginBase.MainForm.Documents) { if (document.SciControl == null) continue; var bar = GetNavigationBar(document); if (bar != null) bar.ApplyTheme(); } } }
/// <summary> /// Handles the incoming events /// </summary> public void HandleEvent(Object sender, NotifyEvent e, HandlingPriority prority) { if (e.Type == EventType.FileOpen || e.Type == EventType.FileNew) { ITabbedDocument document = PluginBase.MainForm.CurrentDocument; if (document != null) { // Check to see if we've already added an NavigationBar to the // current document. if (document.SciControl == null) { return; } Controls.NavigationBar bar = GetNavigationBar(document); if (bar != null) { return; } // Dock a new navigation bar to the top of the current document bar = new Controls.NavigationBar(document, _settings); document.Controls.Add(bar); } } else if (e.Type == EventType.FileSwitch) { ITabbedDocument document = PluginBase.MainForm.CurrentDocument; if (document != null) { // Check to see if this document contains a text editor. if (document.SciControl == null) { return; } // Refresh the navigation bar Controls.NavigationBar bar = GetNavigationBar(document); if (bar != null) { bar.RefreshSettings(); } } } else if (e.Type == EventType.Command) { DataEvent de = e as DataEvent; if (de.Action.StartsWith("ProjectManager.")) { if (de.Action == ProjectManagerCommands.NewProject) { NavigationManager.Instance.Clear(); } else if (de.Action == ProjectManagerCommands.OpenProject) { NavigationManager.Instance.Clear(); } } } }