displaying values in editor

Stream: general

[Matthew Pocock]

Some things, like #check and _ have associated values. For #eval and #check, the value can be seen in the infoview if you are on that line, and will display if you hover over the blue underlines. The vs code debugger has an option to show values within the editor itself ("debug.inlineValues": "on"), and some of the notepad plugins do similar things with interactive python/julia sessions -- I was wondering if it would be possible or desirable to have some of the values optionally rendered within the editor?

[Patrick Massot]

You can do that with the error lens extension.

[Yaël Dillies]

I (re)discovered Error Lens this week and I can confirm it is life-changing.

[Matthew Pocock]

Patrick Massot said:

You can do that with the error lens extension.

Well that's a qualitative change in my user experience! I knew I wanted it, but not how much I wanted it until I could see it in action. IMHO, this is such a big improvement that it really should be on by default.

[Kevin Buzzard]

It can be annoying when demonstrating, because it makes certain output highly prominent and there are times when you're teaching and you don't want it prominent. But when I'm coding I always have it on now.