Romain Tetley
Romain Tetley
I will re-open as even though the view is significantly faster, there are still very large cases (like ```fib 20``` in the example above) in which there is a delay....
We could have some sort of unformatted placeholder I suppose yes, but the spinner would still be nice I guess ?
Good point ! I like the idea but it is indeed non trivial. How do we link folding depth to window size ?
Hmmm I'm thinking of changing the render algorithm anyways (w.r.t #859, #869) so maybe we can discuss it some time next week.
I think I will probably merge this as is, and then we can improve on it later
I think given the status on all these things at the moment I will merge, and then we can improve upon it. We can discuss this if need be !
You should have seen this warning
Yes currently, compared to VsCoq Legacy we format the goal in the front end, instead of asking for a pre-formatted version directly sent by Coq. There are currently performance issues...
I'll keep this even though we have #859 as I would say this is more about improving the performance of rendering goals