mirror of
https://github.com/mozilla/pdf.js.git
synced 2025-04-26 10:08:06 +02:00
Merge pull request #3075 from brendandahl/font-encoding
Fix priority of which font encoding is used.
This commit is contained in:
commit
65a884c421
5 changed files with 36 additions and 9 deletions
|
@ -3088,7 +3088,7 @@ var Font = (function FontClosure() {
|
|||
encoding[code] = glyphName;
|
||||
}
|
||||
properties.glyphNameMap = glyphNameMap;
|
||||
if (!properties.hasEncoding)
|
||||
if (properties.overridableEncoding)
|
||||
properties.baseEncoding = encoding;
|
||||
}
|
||||
|
||||
|
@ -5424,7 +5424,7 @@ var Type1Parser = (function Type1ParserClosure() {
|
|||
}
|
||||
}
|
||||
}
|
||||
if (!properties.hasEncoding && encoding) {
|
||||
if (properties.overridableEncoding && encoding) {
|
||||
properties.baseEncoding = encoding;
|
||||
break;
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue