public void RemoveDocument(Document doc) { if (IsValidDocument(doc)) { if (activeDocument == doc) { activeDocument = null; OnDocumentClosed(doc); var next = GetNextDocument(doc, null); if (next != doc) SetActiveDocument(next); } doc.Dispose(); var oldw = doc.Tag as FileSystemWatcher; if (oldw != null) try { oldw.Dispose(); } catch {} documents.Remove(doc); OnDocumentRemoved(doc); } }
public void CloseDocument(Document doc) { doc.Dispose(); }