Closed kmccurley closed 11 months ago
At the moment firefox works for almost everything other than when you click on a page number in the parsed latex log, the PDF viewer will not navigate to that page. This is a minor convenience so I'm closing this now.
Firefox should work for almost everything except controlling the PDF file by clicking on it. The reason is that PDF viewers that are embedded into browsers don't have a common javascript API for displaying a specific page. In chrome you use #page=10 at the end of a URL to tell the browser to load page 10. This does not work in firefox. PDFs can be embedded into browsers in at least two ways, namely
The best solution is probably to use the PDF.js library. Mozilla's PDF renderer is based on this, and apparently it also works in chrome-based browsers. This seems like overkill just to load a PDF at a different page.