mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-20 15:18:08 +02:00
Code Activity

Fix lint errors.

Browse source
This commit is contained in:
Kalervo Kujala 2011-08-25 20:20:19 +03:00
parent 9343df134d
commit 092235a56f
5 changed files with 27 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

22
web/viewer.js
View file

@ -27,15 +27,15 @@ var PDFView = {
var cssUnits = 96.0 / 72.0;
for (var i = 0; i < pages.length; i++)
pages[i].update(val / 100 * cssUnits);
if(document.location.hash == '#' + this.page)
this.pages[this.page-1].draw();
if (document.location.hash == '#' + this.page)
this.pages[this.page - 1].draw();
else
// Jump the scroll position to the correct page.
document.location.hash = this.page;
var event = document.createEvent("UIEvents");
event.initUIEvent("scalechange", false, false, window, val);
var event = document.createEvent('UIEvents');
event.initUIEvent('scalechange', false, false, window, val);
window.dispatchEvent(event);
},
@ -142,7 +142,7 @@ var PDFView = {
var outlineScrollView = document.getElementById('outlineScrollView');
var thumbsSwitchButton = document.getElementById('thumbsSwitch');
var outlineSwitchButton = document.getElementById('outlineSwitch');
switch(view) {
switch (view) {
case 'thumbs':
thumbsScrollView.style.display = 'block';
outlineScrollView.style.display = 'none';
@ -436,7 +436,7 @@ window.addEventListener('transitionend', function(evt) {
}, true);
window.addEventListener("scalechange", function(evt) {
window.addEventListener('scalechange', function(evt) {
var options = document.getElementById('scaleSelect').options;
for (var i = 0; i < options.length; i++) {
var option = options[i];
@ -444,10 +444,10 @@ window.addEventListener("scalechange", function(evt) {
}
}, true);
window.addEventListener("pagechange", function(evt) {
window.addEventListener('pagechange', function(evt) {
var page = evt.detail;
document.location.hash = page;
document.getElementById("pageNumber").value = page;
document.getElementById("previous").disabled = (page == 1);
document.getElementById("next").disabled = (page == PDFView.pages.length);
document.getElementById('pageNumber').value = page;
document.getElementById('previous').disabled = (page == 1);
document.getElementById('next').disabled = (page == PDFView.pages.length);
}, true);