|
@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
|
|
(typeof window !== 'undefined' ? window : this).PDFJS = {};
|
|
(typeof window !== 'undefined' ? window : this).PDFJS = {};
|
|
}
|
|
}
|
|
|
|
|
|
-PDFJS.version = '1.2.32';
|
|
|
|
-PDFJS.build = 'aae82ec';
|
|
|
|
|
|
+PDFJS.version = '1.2.34';
|
|
|
|
+PDFJS.build = '7a3963e';
|
|
|
|
|
|
(function pdfjsWrapper() {
|
|
(function pdfjsWrapper() {
|
|
// Use strict in our context only - users might not want it
|
|
// Use strict in our context only - users might not want it
|
|
@@ -19284,6 +19284,7 @@ var OperatorList = (function OperatorListClosure() {
|
|
this.fnArray = [];
|
|
this.fnArray = [];
|
|
this.argsArray = [];
|
|
this.argsArray = [];
|
|
this.dependencies = {};
|
|
this.dependencies = {};
|
|
|
|
+ this._totalLength = 0;
|
|
this.pageIndex = pageIndex;
|
|
this.pageIndex = pageIndex;
|
|
this.intent = intent;
|
|
this.intent = intent;
|
|
}
|
|
}
|
|
@@ -19293,6 +19294,14 @@ var OperatorList = (function OperatorListClosure() {
|
|
return this.argsArray.length;
|
|
return this.argsArray.length;
|
|
},
|
|
},
|
|
|
|
|
|
|
|
+ /**
|
|
|
|
+ * @returns {number} The total length of the entire operator list,
|
|
|
|
+ * since `this.length === 0` after flushing.
|
|
|
|
+ */
|
|
|
|
+ get totalLength() {
|
|
|
|
+ return (this._totalLength + this.length);
|
|
|
|
+ },
|
|
|
|
+
|
|
addOp: function(fn, args) {
|
|
addOp: function(fn, args) {
|
|
this.fnArray.push(fn);
|
|
this.fnArray.push(fn);
|
|
this.argsArray.push(args);
|
|
this.argsArray.push(args);
|
|
@@ -19341,12 +19350,15 @@ var OperatorList = (function OperatorListClosure() {
|
|
new QueueOptimizer().optimize(this);
|
|
new QueueOptimizer().optimize(this);
|
|
}
|
|
}
|
|
var transfers = getTransfers(this);
|
|
var transfers = getTransfers(this);
|
|
|
|
+ var length = this.length;
|
|
|
|
+ this._totalLength += length;
|
|
|
|
+
|
|
this.messageHandler.send('RenderPageChunk', {
|
|
this.messageHandler.send('RenderPageChunk', {
|
|
operatorList: {
|
|
operatorList: {
|
|
fnArray: this.fnArray,
|
|
fnArray: this.fnArray,
|
|
argsArray: this.argsArray,
|
|
argsArray: this.argsArray,
|
|
lastChunk: lastChunk,
|
|
lastChunk: lastChunk,
|
|
- length: this.length
|
|
|
|
|
|
+ length: length
|
|
},
|
|
},
|
|
pageIndex: this.pageIndex,
|
|
pageIndex: this.pageIndex,
|
|
intent: this.intent
|
|
intent: this.intent
|
|
@@ -41242,7 +41254,7 @@ var WorkerMessageHandler = PDFJS.WorkerMessageHandler = {
|
|
finishWorkerTask(task);
|
|
finishWorkerTask(task);
|
|
|
|
|
|
info('page=' + pageNum + ' - getOperatorList: time=' +
|
|
info('page=' + pageNum + ' - getOperatorList: time=' +
|
|
- (Date.now() - start) + 'ms, len=' + operatorList.fnArray.length);
|
|
|
|
|
|
+ (Date.now() - start) + 'ms, len=' + operatorList.totalLength);
|
|
}, function(e) {
|
|
}, function(e) {
|
|
finishWorkerTask(task);
|
|
finishWorkerTask(task);
|
|
if (task.terminated) {
|
|
if (task.terminated) {
|