3 changed files with 125 additions and 123 deletions
@ -0,0 +1,35 @@ |
|||||||
|
/* -*- Mode: Java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- / |
||||||
|
/* vim: set shiftwidth=4 tabstop=8 autoindent cindent expandtab: */ |
||||||
|
|
||||||
|
body { |
||||||
|
margin: 6px; |
||||||
|
padding: 0px; |
||||||
|
background-color: #c0bdb7; |
||||||
|
} |
||||||
|
|
||||||
|
#controls { |
||||||
|
position:fixed; |
||||||
|
left: 0px; |
||||||
|
top: 0px; |
||||||
|
width: 100%; |
||||||
|
padding: 7px; |
||||||
|
border-bottom: 1px solid black; |
||||||
|
background-color: rgb(242, 240, 238); |
||||||
|
} |
||||||
|
|
||||||
|
span#info { |
||||||
|
float: right; |
||||||
|
font: 14px sans-serif; |
||||||
|
margin-right: 10px; |
||||||
|
} |
||||||
|
|
||||||
|
#viewer { |
||||||
|
margin: auto; |
||||||
|
border: 1px solid black; |
||||||
|
width: 8.5in; |
||||||
|
height: 11in; |
||||||
|
} |
||||||
|
|
||||||
|
#pageNumber { |
||||||
|
text-align: right; |
||||||
|
} |
@ -0,0 +1,66 @@ |
|||||||
|
/* -*- Mode: Java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- / |
||||||
|
/* vim: set shiftwidth=4 tabstop=8 autoindent cindent expandtab: */ |
||||||
|
|
||||||
|
var pdfDocument, canvas, pageDisplay, pageNum; |
||||||
|
function load() { |
||||||
|
canvas = document.getElementById("canvas"); |
||||||
|
canvas.mozOpaque = true; |
||||||
|
open("uncompressed.tracemonkey-pldi-09.pdf"); |
||||||
|
} |
||||||
|
|
||||||
|
function open(url) { |
||||||
|
document.title = url; |
||||||
|
req = new XMLHttpRequest(); |
||||||
|
req.open("GET", url); |
||||||
|
req.mozResponseType = req.responseType = "arraybuffer"; |
||||||
|
req.expected = (document.URL.indexOf("file:") == 0) ? 0 : 200; |
||||||
|
req.onreadystatechange = function() { |
||||||
|
if (req.readyState == 4 && req.status == req.expected) { |
||||||
|
var data = req.mozResponseArrayBuffer || req.mozResponse || |
||||||
|
req.responseArrayBuffer || req.response; |
||||||
|
pdfDocument = new PDFDoc(new Stream(data)); |
||||||
|
displayPage(1); |
||||||
|
} |
||||||
|
}; |
||||||
|
req.send(null); |
||||||
|
} |
||||||
|
|
||||||
|
function displayPage(num) { |
||||||
|
document.getElementById("pageNumber").value = num; |
||||||
|
|
||||||
|
var t0 = Date.now(); |
||||||
|
|
||||||
|
var page = pdfDocument.getPage(pageNum = num); |
||||||
|
|
||||||
|
var t1 = Date.now(); |
||||||
|
|
||||||
|
var ctx = canvas.getContext("2d"); |
||||||
|
ctx.save(); |
||||||
|
ctx.fillStyle = "rgb(255, 255, 255)"; |
||||||
|
ctx.fillRect(0, 0, canvas.width, canvas.height); |
||||||
|
ctx.restore(); |
||||||
|
|
||||||
|
var gfx = new CanvasGraphics(ctx); |
||||||
|
page.display(gfx); |
||||||
|
|
||||||
|
var t2 = Date.now(); |
||||||
|
|
||||||
|
var infoDisplay = document.getElementById("info"); |
||||||
|
infoDisplay.innerHTML = "Time to render: "+ (t1 - t0) + "/" + (t2 - t1) + " ms"; |
||||||
|
} |
||||||
|
|
||||||
|
function nextPage() { |
||||||
|
if (pageNum < pdfDocument.numPages) |
||||||
|
displayPage(++pageNum); |
||||||
|
} |
||||||
|
|
||||||
|
function prevPage() { |
||||||
|
if (pageNum > 1) |
||||||
|
displayPage(--pageNum); |
||||||
|
} |
||||||
|
|
||||||
|
function gotoPage(num) { |
||||||
|
if (0 <= num && num <= numPages) |
||||||
|
displayPage(pageNum = num); |
||||||
|
} |
||||||
|
|
Loading…
Reference in new issue