1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-22 16:18:08 +02:00

Workaround for cases where FontName in the FontDescriptor differs from BaseFont in the Font (bug 847420)

This commit is contained in:
Jonas Jenwald 2014-04-08 22:49:51 +02:00
parent 608c6cea5a
commit 811f1b1d05

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);