private void Editor_FormClosing(object sender, FormClosingEventArgs e) { MemberCache.Export(); dockingPanel.SaveAsXml(Program.PanelsXML); // // May not be neeed as content_Removed should handle if (dockingPanel.DocumentsCount > 0) { foreach (DockPane pane in dockingPanel.Panes) { DockPanel panel = pane.DockPanel; RemoteSource src; if (panel.ActiveContent is SourceEditor) { LastEditing = null; src = (panel.ActiveContent as SourceEditor).Tag as RemoteSource; if (src != null) { src.Unlock(); } } } } }
private void DockingPanel_ActiveContentChanged(object sender, EventArgs e) { SourceEditor PreviousEditor = GetTabEditor(dockingPanel.ActiveContent as DockContent); if (PreviousEditor != null) { LastEditing = PreviousEditor; LastEditing.DoAction(EditorAction.TasksUpdate); } }
private void onSelectError(string File, int Line, int Col) { DockContent theTab = Editor.TheEditor.GetTabByName(File, true); if (theTab != null) { SourceEditor SourceEditor = Editor.TheEditor.GetTabEditor(theTab); SourceEditor.Focus(); SourceEditor.GotoLine(Line, Col); } else { MessageBox.Show("Unable to open error. Please open the source manually first and then try again.", "Information", MessageBoxButtons.OK, MessageBoxIcon.Information); } }
private void onSelectError(string File, int Line, int Col, string ErrorText) { OpenTab theTab = Editor.TheEditor.EditorContains(File); if (theTab != null) { Editor.TheEditor.SwitchToTab(theTab.getSide(), theTab.getIndex()); SourceEditor SourceEditor = Editor.TheEditor.GetTabEditor(theTab); SourceEditor.Focus(); SourceEditor.GotoLine(Line, Col); } else { MessageBox.Show("Unable to open error. Please open the source manually first and then try again.", "Information", MessageBoxButtons.OK, MessageBoxIcon.Information); } }
private void dockingPanel_ContentRemoved(object sender, DockContentEventArgs e) { DockPanel panel = sender as DockPanel; RemoteSource src; if (panel != null) { if (panel.ActiveContent is SourceEditor) { LastEditing = null; src = (panel.ActiveContent as SourceEditor).Tag as RemoteSource; if (src != null) { src.Unlock(); } } } }
private void DockingPanel_ActiveContentChanged(object sender, EventArgs e) { LastEditing = GetTabEditor(dockingPanel.ActiveContent as DockContent); }