public void Configure(LanguageServerOptions options) =>
options.ObserveCodeLens(
(@params, observer, capability, cancellationToken) => {
observer.OnNext(
new[] {
new CodeLens {
Command = new Command {
Name = "CodeLens 1"
}
},
}
);
observer.OnNext(
new[] {
new CodeLens {
Command = new Command {
Name = "CodeLens 2"
}
},
}
);
observer.OnNext(
new[] {
new CodeLens {
Command = new Command {
Name = "CodeLens 3"
}
},
}
);
observer.OnCompleted();
}, (_, _) => new CodeLensRegistrationOptions()
);