Merge
This commit is contained in:
commit
4b8057bc53
@ -52,8 +52,8 @@ function load() {
|
|||||||
pageDisplay = document.getElementById("pageNumber");
|
pageDisplay = document.getElementById("pageNumber");
|
||||||
infoDisplay = document.getElementById("info");
|
infoDisplay = document.getElementById("info");
|
||||||
pageNum = parseInt(queryParams().page) || 1;
|
pageNum = parseInt(queryParams().page) || 1;
|
||||||
// open("compressed.tracemonkey-pldi-09.pdf");
|
fileName = queryParams().file || "compressed.tracemonkey-pldi-09.pdf";
|
||||||
open("compressed.canvas.pdf");
|
open(fileName);
|
||||||
}
|
}
|
||||||
|
|
||||||
function open(url) {
|
function open(url) {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user