mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 22:58:07 +02:00
Code Activity

Merge pull request #4578 from Snuffleupagus/bug-847420

Browse source 
Workaround for cases where FontName in the FontDescriptor differs from BaseFont in the Font (bug 847420)
This commit is contained in:
Yury Delendik 2014-04-09 08:54:13 -05:00
commit d1f9a4e965
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/core/evaluator.js
View file

@ -1219,6 +1219,12 @@ var PartialEvaluator = (function PartialEvaluatorClosure() {
info('The FontDescriptor\'s FontName is "' + fontNameStr +
'" but should be the same as the Font\'s BaseFont "' +
baseFontStr + '"');
// Workaround for cases where e.g. fontNameStr = 'Arial' and
// baseFontStr = 'Arial,Bold' (needed when no font file is embedded).
if (fontNameStr && baseFontStr &&
baseFontStr.search(fontNameStr) === 0) {
fontName = baseFont;
}
}
}
fontName = (fontName || baseFont);