private void StopDebuggingSession()
{
_fileLoader = null;
if (_CurrentLocation.line != -1)
{
xdc.Forms.SourceFileForm form = _fileMgr.getFormByRemoteFilename(_CurrentLocation.filename);
if (form != null)
{
form.RemoveActiveMark();
}
}
_client.Disconnect();
foreach (OpenFileStruct file in _fileMgr.Forms.Values)
{
file.form.ToggleMenuItems(false);
}
this.ToggleMenuItems(false);
// TODO cleanup forms
List <Property> emp = new List <Property>();
_globalContextFrm.LoadPropertyList(emp);
_localContextFrm.LoadPropertyList(emp);
_statusFrm.WriteStatusLine("(!) Debugging session terminated.");
}
private void SetActiveFileAndLine(Location location)
{
if (_CurrentLocation.line != -1)
{
xdc.Forms.SourceFileForm previousFile = _fileMgr.getFormByRemoteFilename(_CurrentLocation.filename);
previousFile.RemoveActiveMark();
}
_CurrentLocation.line = location.line;
_CurrentLocation.filename = location.filename;
xdc.Forms.SourceFileForm currentFile = _fileMgr.getFormByRemoteFilename(location.filename);
currentFile.SetActiveMark(_CurrentLocation.line);
currentFile.Focus();
currentFile.BringToFront();
}