It annoys a lot.
I think we need to cache last good results of code lens (both position and content) and use it if for some reason (for example syntax error in file when you're in middle of typing) doesn't return value.
There should also be an indication that the cached results are stale, e.g.
string * string * string option -> int
to
string * string * string option -> int
I think I will investigate this starting Wednesday, if no one else has picked it up then.
I think even leaving empty spaces there would be okay if that helps avoid the jumping.
Trying to fix it in 2.8.6. Please let me know if it's still the case.
Still jumping a lot.
Most helpful comment
I think we need to cache last good results of code lens (both position and content) and use it if for some reason (for example syntax error in file when you're in middle of typing) doesn't return value.