LPCIC / elpi-lang

visual studio code extension for Elpi
MIT License
8 stars 1 forks source link

Slow browsing #4

Closed gares closed 1 year ago

gares commented 1 year ago

Loading this trace (vscode 1.72) takes forever. In particular a few seconds before the UI shows the card, then a few second before each card shows up its goal text. The third card text is "Cut", and it still takes time for it to appear.

If I had to point the finger, it would be syntax highlighting code. Is there an easy way to disable it, so that I can validate or refuse this thesis?

trace-qui-rame.js.gz

CC @jwintz

jwintz commented 1 year ago

Oh my. Sorry, I missed the notification. Your thesis actually fully makes sense, should vscode send the highlighting requests one by one. I'll create an option to deactivate syntax highlighting ASAP.

This issue should be addressed together with the handling of very large traces, that is, when required memory at hand exceeds what vscode allows for an extension, should heuristics be involved to activate/deactivate such features.

gares commented 1 year ago

Thanks!

jwintz commented 1 year ago

https://github.com/LPCIC/elpi-lang/pull/5 has just bee submitted. It makes syntax highlighting optional.

Screenshot from 2022-11-19 13-28-21

Screenshot from 2022-11-19 13-29-54