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