vscode #eval re-evaluates when comment added

Stream: lean4

[Shreyas Srinivas]

This one is trivial. Suppose you have a #eval ... that takes a long time to evaluate. You get the result. Then you add a comment in the end. Naturally the line has changed so the file and in particular the #eval ... -- now with a comment gets re-evaluated. Can this be improved?

[Shreyas Srinivas]

The lsp can be used to find out when a change to the file is just the addition of a comment right?