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