Hi Logan.
Our client has reported issues with the highlighting of results, which I’m able to reproduce. I’ve seen Highlight tool does not highlight the text completely and assume that’s the issue we’re experiencing, so I’m wondering whether a means is provided for us to override the pdf.js version that’s used (if I were to fix the issue upstream, could I use that fixed version with pdfjs while waiting for the patch to be merged?).
Thanks!
Nigel