--- viewer/viewer.html.orig 2014-01-20 16:22:49.000000000 +0100
+++ viewer/viewer.html 2014-01-20 16:38:37.000000000 +0100
@@ -31,12 +31,12 @@
-
+
-
+
@@ -88,7 +88,7 @@
Presentation Mode
-
-
+
Download
-
+
Current View
@@ -159,7 +159,7 @@
Presentation Mode
-
+
Open
@@ -167,11 +167,11 @@
Print
-
+
Download
-
+
Current View
--- viewer/viewer.js.orig 2014-01-20 16:22:49.000000000 +0100
+++ viewer/viewer.js 2014-01-20 16:32:24.000000000 +0100
@@ -23,7 +23,7 @@
'use strict';
-var DEFAULT_URL = 'compressed.tracemonkey-pldi-09.pdf';
+var DEFAULT_URL = null;
var DEFAULT_SCALE = 'auto';
var DEFAULT_SCALE_DELTA = 1.1;
var UNKNOWN_SCALE = 0;
@@ -55,7 +55,7 @@
};
PDFJS.imageResourcesPath = './images/';
- PDFJS.workerSrc = '../build/pdf.worker.js';
+ PDFJS.workerSrc = 'pdf.worker.js';
var mozL10n = document.mozL10n || document.webL10n;
@@ -1581,9 +1581,9 @@
// (except for toggleHandTool, hand_tool.js is responsible for it):
{ element: this.presentationModeButton,
handler: this.presentationModeClick },
- { element: this.openFile, handler: this.openFileClick },
+ //{ element: this.openFile, handler: this.openFileClick },
{ element: this.print, handler: this.printClick },
- { element: this.download, handler: this.downloadClick },
+ //{ element: this.download, handler: this.downloadClick },
{ element: this.firstPage, handler: this.firstPageClick },
{ element: this.lastPage, handler: this.lastPageClick },
{ element: this.pageRotateCw, handler: this.pageRotateCwClick },
@@ -4806,8 +4806,8 @@
document.body.appendChild(fileInput);
if (!window.File || !window.FileReader || !window.FileList || !window.Blob) {
- document.getElementById('openFile').setAttribute('hidden', 'true');
- document.getElementById('secondaryOpenFile').setAttribute('hidden', 'true');
+ //document.getElementById('openFile').setAttribute('hidden', 'true');
+ //document.getElementById('secondaryOpenFile').setAttribute('hidden', 'true');
} else {
document.getElementById('fileInput').value = null;
}
@@ -4970,14 +4970,14 @@
document.getElementById('presentationMode').addEventListener('click',
SecondaryToolbar.presentationModeClick.bind(SecondaryToolbar));
- document.getElementById('openFile').addEventListener('click',
- SecondaryToolbar.openFileClick.bind(SecondaryToolbar));
+// document.getElementById('openFile').addEventListener('click',
+// SecondaryToolbar.openFileClick.bind(SecondaryToolbar));
document.getElementById('print').addEventListener('click',
SecondaryToolbar.printClick.bind(SecondaryToolbar));
- document.getElementById('download').addEventListener('click',
- SecondaryToolbar.downloadClick.bind(SecondaryToolbar));
+// document.getElementById('download').addEventListener('click',
+// SecondaryToolbar.downloadClick.bind(SecondaryToolbar));
PDFView.open(file, 0);