public void ExecutionComplete()
{
SetIconsStopped();
_ErrorGrid.AutoResizeColumns(DataGridViewAutoSizeColumnsMode.AllCells);
if (_ErrorGrid.Rows.Count > 0)
{
_TabTools.SelectedTab = tabErrors;
}
else if (_OutputBox.Text.Length > 0)
{
_TabTools.SelectedTab = tabOutput;
}
else if (_WatchGrid.Rows.Count > 0)
{
_TabTools.SelectedTab = tabWatch;
}
if (_RunningApplication.OriginalTab != null && _RunningApplication.OriginalTab.TempFileName != null)
{
System.IO.File.Delete(_RunningApplication.OriginalTab.TempFileName);
_RunningApplication.OriginalTab.CodeEditor.FileName = null;
_RunningApplication.OriginalTab.CodeEditor.Saved = false;
}
if (CurrentTab != null)
{
CurrentTab.Focus();
CurrentTab.CodeEditor.Focus();
}
if (_RunningApplication.OriginalTab != null)
{
_TabDocs.SelectedTab = _RunningApplication.OriginalTab;
}
}