private void CleanupCodeEditor() { workspace.CloseDocument(DocumentId); codeEditor.Unbind(); sourceTextContainer.TextChanged -= SourceTextContainer_TextChanged; sourceTextContainer = null; // Remove working document workspace.RemoveDocument(DocumentId); DocumentId = null; }
public void CloseDocument(DocumentId documentId) { workspace.CloseDocument(documentId); }