mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-25 09:38:06 +02:00
Code Activity

Merge pull request #2058 from Pimm/master

Browse source 
Small fixes for normal and potential post-compilation bugs
This commit is contained in:
Yury Delendik 2012-09-20 11:36:55 -07:00
commit 75e928c102
9 changed files with 53 additions and 29 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/api.js
View file

@ -361,8 +361,9 @@ var PDFPageProxy = (function PDFPageProxyClosure() {
var length = this.operatorList.fnArray.length;
var operatorList = this.operatorList;
var stepper = null;
if (PDFJS.pdfBug && StepperManager.enabled) {
stepper = StepperManager.create(this.pageNumber - 1);
if (PDFJS.pdfBug && 'StepperManager' in globalScope &&
globalScope['StepperManager'].enabled) {
stepper = globalScope['StepperManager'].create(this.pageNumber - 1);
stepper.init(operatorList);
stepper.nextBreakPoint = stepper.getNextBreakPoint();
}