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

Add more debug data to error-logs.

Fix also a few gjslint errors.
This commit is contained in:
Kalervo Kujala 2011-08-22 22:30:22 +03:00
parent e5e8b5a74a
commit 8ffbf683b8
3 changed files with 79 additions and 71 deletions

View file

@ -84,7 +84,7 @@ var PDFView = {
xhr.send(null);
},
navigateTo: function (dest) {
navigateTo: function(dest) {
if (typeof dest === 'string')
dest = this.destinations[dest];
// dest array looks like that: <page-ref> </XYZ|FitXXX> <args..>
@ -92,7 +92,8 @@ var PDFView = {
var pageNumber = this.pagesRefMap[destRef.num + ' ' + destRef.gen + ' R'];
if (pageNumber) {
this.page = pageNumber;
// TODO scroll to specific region on the page, the precise scaling required
// TODO scroll to specific region on the page, the precise scaling
// required.
}
},