This is not a new problem, but I still haven’t figured out what is happening here: after a couple of refreshs, #Emacs #pdftools garbles the display. Restarting epdfinfo fixes it, so I guess that’s where the problem is, but as I’ve never seen this problem mentioned, I wonder whether it’s maybe a problem with my build rather than with epdfinfo…
Anybody else seeing this?
I found the problem discussed together with this similar, but probably unrelated issue:
https://github.com/vedang/pdf-tools/issues/112
According to the discussion, the culprit is #poppler, and the problem should go away with a newer version. I’ve just updated poppler to 23.01.0, we’ll see how it goes…
