squeeze_simp and endlines

Stream: general

[Sebastien Gouezel]

Very minor point: given

  squeeze_simpa [model_with_corners.left_inv] using hx },

if I click on the suggested output it erases the space between hx and }. Where should I register this as an issue?

[Bryan Gin-ge Chen]

I believe this rewriting is currently handled by vscode-lean.

[Sebastien Gouezel]

Thanks, I have registered an issue.