+++ /dev/null
-<html>
- <head>
- <title>Simple pdf.js page worker viewer</title>
- <script type="text/javascript" src="../fonts.js"></script>
- <script type="text/javascript" src="../glyphlist.js"></script>
- <script type="text/javascript" src="../pdf.js"></script>
- <script type="text/javascript" src="../worker/client.js"></script>
-<script>
-
-
-var pdfDoc;
-window.onload = function webViewerWorkerOnload() {
- window.canvas = document.getElementById("canvas");
- window.ctx = canvas.getContext("2d");
-
- pdfDoc = new WorkerPDFDoc(window.canvas);
- pdfDoc.onChangePage = function webViewerWorkerOnChangePage(numPage) {
- document.getElementById("pageNumber").value = numPage;
- }
- pdfDoc.open("compressed.tracemonkey-pldi-09.pdf", function webViewerWorkerOpen() {
- document.getElementById("numPages").innerHTML = "/" + pdfDoc.numPages;
- })
-}
-</script>
- <link rel="stylesheet" href="viewer.css"></link>
- </head>
- <body>
- <div id="controls">
- <input type="file" style="float: right; margin: auto 32px;" onChange="load(this.value.toString());"></input>
- <!-- This only opens supported PDFs from the source path...
- -- Can we use JSONP to overcome the same-origin restrictions? -->
- <button onclick="pdfDoc.prevPage();">Previous</button>
- <button onclick="pdfDoc.nextPage();">Next</button>
- <input type="text" id="pageNumber" onchange="pdfDoc.showPage(this.value);"
- value="1" size="4"></input>
- <span id="numPages">--</span>
- <span id="info"></span>
- </div>
-
- <div id="viewer">
- <canvas id="canvas"></canvas>
- </div>
- </body>
-</html>
-