mirror of
https://github.com/mozilla/pdf.js.git
synced 2025-04-26 01:58:06 +02:00
Fixes for subtile bugs that were introduced in 59283bdf6d
and 99440ab691
, among others.
This commit is contained in:
parent
8e50da78ee
commit
438e3c8f6d
6 changed files with 11 additions and 10 deletions
|
@ -220,7 +220,7 @@ var WorkerMessageHandler = {
|
|||
return;
|
||||
}
|
||||
|
||||
console.log('page=%d - getOperatorList: time=%dms, len=%d', pageNum,
|
||||
log('page=%d - getOperatorList: time=%dms, len=%d', pageNum,
|
||||
Date.now() - start, operatorList.fnArray.length);
|
||||
|
||||
// Filter the dependecies for fonts.
|
||||
|
@ -252,7 +252,7 @@ var WorkerMessageHandler = {
|
|||
promise.reject(e);
|
||||
}
|
||||
|
||||
console.log('text indexing: page=%d - time=%dms',
|
||||
log('text indexing: page=%d - time=%dms',
|
||||
pageNum, Date.now() - start);
|
||||
});
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue