suspend incremental checking

Stream: general

[Thorsten Altenkirch]

I am doing a presentation with lean tomorrow and I wonder how can I temporarily suspend incremental checking in visual studio?
So basically when I start to type in a line in a proof it reports all sorts of errors before I have finished the line.
Usually I am using emacs there it isn't so annoying but I want to use visual studio this time.

[Arthur Paulino]

Are you planning on using Lean 3 or Lean 4?

[Thorsten Altenkirch]

Lean 3

[Arthur Paulino]

I don't recall it for Lean 3, but is there a pause button in the infoview?

[Floris van Doorn]

There is a pause updating button at the top of the Lean infoview you can press.

[Thorsten Altenkirch]

Thank you - this does the trick.