Is your feature request related to a problem? Please describe.
It's been a year. Is CodeLens going the path of Gmail which stayed in beta for years?
Describe the solution you'd like
Merge #5145, fix #4551, and ship CodeLens, then finally be on par with Ionide.
Describe alternatives you've considered
Keeping the status quo. Turn productivity features off by default. Make Ionide better at first glance.
Additional context
Please do #4087 asap as well.
I think @realvictorprm is going to try getting the caching issue solved by bringing master into his prs so that they're in a position to merge.
Merge #5145, fix #4551, and ship CodeLens, then finally be on par with Ionide.
I am looking into doing the following:
foo: int rather than int)I've been playing with them and there are two quirks that I noticed:
I think more will be noticed if I just turn it on by default in the 16.9 previews and await feedback to indicate it's ready/not ready
Okay, additional quirk related to renaming. Various edits that move lots of code around will keep old adornments that screw up the editor. The service needs to invalidate more frequently.
Another quirk I noticed in a new .NET 5 web app is that the lenses will sometimes stagger on when they come in, even though the document is typechecked and a lens is already available elsewhere in the document. Not fundamentally broken but clearly needs some tweaking
Another quirk, definitely broken behavior:
Create an ASP.NET Core app, modify the following method:
[<HttpGet>]
member _.Get() =
let rng = System.Random()
let x = 12
let y = 13
[|
for index in 0..4 ->
{ Date = DateTime.Now.AddDays(float index)
TemperatureC = rng.Next(-20,55)
Summary = summaries.[rng.Next(summaries.Length)] }
|]
Very, very slowly type out a new value binding let x =. At some point the textblock for the code lens will be empty, and any further typing will have it draw at the very top of the file.
