private void saveToolStripMenuItem_Click(object sender, EventArgs e)
{
if (LastEditing != null)
{
LastEditing.DoAction(EditorAction.Save);
}
}
private void DockingPanel_ActiveContentChanged(object sender, EventArgs e)
{
SourceEditor PreviousEditor = GetTabEditor(dockingPanel.ActiveContent as DockContent);
if (PreviousEditor != null)
{
LastEditing = PreviousEditor;
LastEditing.DoAction(EditorAction.TasksUpdate);
LastEditing.DoAction(EditorAction.HintsUpdate);
}
}
