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