private void ConfigureServer(LanguageServerOptions options)
{
options.WithContentModifiedSupport(true);
options.OnCompletion(async(x, ct) => {
await Task.Delay(50000, ct);
return(new CompletionList());
}, new CompletionRegistrationOptions());
options.OnDidChangeTextDocument(async x => { await Task.Delay(20); }, new TextDocumentChangeRegistrationOptions());
}
