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