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