/// <summary> /// Remove a document from the view. /// </summary> /// Close does not involve saving the document, it merely removes the /// document from the controller. /// <param name="document">Document to be removed.</param> public void CloseDocument(AbstractDocument document) { if (Documents.Contains(document)) { if (document.Equals(CurrentDocument)) { CurrentDocument = null; } Documents.Remove(document); } }