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() );