Prettify completely broken?

[YaZko]

Hello,

I'm a recent user of VsCoq, coming from PG/company-coq. The Readme says that it should be compatible with the "Prettify Symbol Mode", but I have been encountering weird behaviors that make it practically unusable. More specifically, it seems to prettify things decently right when opening a new file, but starts displaying random symbols all over the place at random points.

I have attached a tiny capture illustrating the issue: random symbols can be seen on empty lines (the second line in the screenshot for instance), and random snippets of characters are incorrectly displayed all over the place.

I do not know if it's simply that the "Prettify Symbol Mode" extension is broken or if it's something that can be fixed on Vscoq's side? Should the option considered broken at the moment?

If relevant, I am on Mac OS, VScode version 1.56.1, and I have installed vscoq and Prettify Symbol Mode via the market as recommended.

Best,
Yannick

[palmskog]

The following issue is hopefully one step towards addressing this problem: rocq-community/manifesto#130

[fakusb]

This might be related to this problem in the pull request that improved performance on large files:
#181 (comment)