Paper-Proof/paperproof

How can I suppress "parseTree XXXms" output?

Closed this issue · 2 comments

minaph commented

I have always used the VS Code extension. I like it very much. But the frequent appearance of notifications like parseTree XXXms is a bit depressing. Is there any way to turn it off?

lakesare commented

Oops, thanks for telling us!
Removed these notifications, please update paperproof with lake update Paperproof.

  • 👍1
minaph commented

Thank you!!