Stop recomputing display for big goals

coq / vscoq

Visual Studio Code extension for Coq

MIT License

335 stars 68 forks source link

Closed rtetley closed 2 months ago

rtetley commented 2 months ago

Closes #809

rtetley commented 2 months ago

It would be nice to find a way to increase the "maximum depth" in react, right now it seems to be set at 50