private void DidOpenTextDocument(NotificationMessage <DidOpenTextDocumentParams> message)
{
var td = [email protected];
var document = new TextDocument(td.uri, td.languageId, td.version, td.text);
_documents[td.uri] = document;
var toFire = new TextDocumentChangedEventArgs(document);
OnDidOpen(toFire);
OnDidChangeContent(toFire);
}
private void Documents_Changed(object sender, TextDocumentChangedEventArgs e)
{
ValidateTextDocument(e.Document);
}
// The content of a text document has changed. This event is emitted
// when the text document first opened or when its content has changed.
private void Documents_DidChangeContent(object sender, TextDocumentChangedEventArgs e)
{
var ignore = ValidateTextDocument(e.Document);
}
// Only keep settings for open documents
private void Documents_DidClose(object sender, TextDocumentChangedEventArgs e)
{
documentSettings.Remove(e.Document.Uri);
}
protected virtual void OnDidClose(TextDocumentChangedEventArgs args)
{
DidClose?.Invoke(this, args);
}
protected virtual void OnDidChangeContent(TextDocumentChangedEventArgs args)
{
DidChangeContent?.Invoke(this, args);
}
