Esempio n. 1
0
        private void CleanupCodeEditor()
        {
            workspace.CloseDocument(DocumentId);

            codeEditor.Unbind();

            sourceTextContainer.TextChanged -= SourceTextContainer_TextChanged;
            sourceTextContainer              = null;

            // Remove working document
            workspace.RemoveDocument(DocumentId);
            DocumentId = null;
        }
Esempio n. 2
0
 public void CloseDocument(DocumentId documentId)
 {
     workspace.CloseDocument(documentId);
 }