private void RunningDocTableEventsOnDocumentClosed(object sender, DocumentClosedEventArgs e)
{
// Find document from out table, ignore if not found
var document = TryLookupDocument(e.Path);
if (document == null)
{
Logger.LogInfo("A document we don't know about was closed: \"{0}\"", e.Path);
return;
}
// Call handlers (before removing from table)
OnTextDocumentClosed(new TextDocumentEventArgs(e.Path, document));
// Remove from table
lock (_openDocumentsLock) {
_openDocuments.Remove(e.Path);
}
}
protected virtual void OnDocumentClosed(DocumentClosedEventArgs e)
{
DocumentClosed?.Invoke(this, e);
}
