This is not a new problem, but I still haven’t figured out what is happening here: after a couple of refreshs, 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:

github.com/vedang/pdf-tools/is

According to the discussion, the culprit is , 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…

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.