[Firefox] Highlights disappear in PDF.js on zoom

[45mg]

This occurs when viewing a PDF in Firefox using the built-in PDF.js viewer.

Clicking the bookmarklet allows one to see the highlights as usual. However, zooming in/out on the PDF makes them vanish. The sidebar is still visible, but the highlights are no longer seen on the original document. The only way to fix this (that I know of) is to refresh the page and enable the bookmarklet again.

Demonstration:

Before zoom:

After zoom:

Also note that the highlight regions are not properly centered on the text they cover, but that seems less critical than a total loss of functionality.

[robertknight]

Can you indicate the version of Firefox you are using and the version of PDF.js (this is displayed in the Console tab in the developer tools).

[45mg]

Firefox 115.0.2 (64-bit)

This is what I see in the console:

PDF 63146ad8f55e17883ab34d20a0d6b0a6 [1.4 3-Heights™ PDF Optimization Shell 6.3.1.5 (http://www.pdf-tools.com/) / -] (PDF.js: 3.7.96 [23958ffc5])