Extension API access to pdf.js object
cboulanger opened this issue · comments
In a custom extension, I would like to synchronize an editor containing an TEI-XML representation of the PDF's OCR content with the display of the PDF. Is there a way to access the pdf.js object to use its API from the VS Code Extension API? if not, would you consider to add commands that would let other extensions "remote-control" the pdf viewer programmatically?