private void _HandleTextDocumentOpened(object sender, DidOpenTextDocumentParams e) { WorkspaceDocument document = new WorkspaceDocument(e.TextDocument.LanguageId, e.TextDocument.Text, e.TextDocument.Uri, e.TextDocument.Version); _documents.Add(document); DocumentOpened?.Invoke(this, document); }
private void _HandleTextDocumentClosed(object sender, DidCloseTextDocumentParams e) { WorkspaceDocument document = _documents.Where(x => x.Uri.Equals(e.TextDocument.Uri)).FirstOrDefault(); if (document != null) { _documents.Remove(document); DocumentClosed?.Invoke(this, document); } }
private void _HandleTextDocumentChanged(object sender, DidChangeTextDocumentParams e) { WorkspaceDocument document = _documents.Where(x => x.Uri.Equals(e.TextDocument.Uri)).FirstOrDefault(); if (document != null) { document.ApplyContentChanges(e.ContentChanges, e.TextDocument.Version); DocumentChanged?.Invoke(this, document); } }