diff --git a/src/core/evaluator.js b/src/core/evaluator.js index eda058689..27e512ea8 100644 --- a/src/core/evaluator.js +++ b/src/core/evaluator.js @@ -986,10 +986,10 @@ var PartialEvaluator = (function PartialEvaluatorClosure() { Encodings.WinAnsiEncoding : Encodings.StandardEncoding; // The Symbolic attribute can be misused for regular fonts - // Heuristic: we have to check if the font is a standard one or - // toUnicode is provided + // Heuristic: we have to check if the font is a standard one and has + // Symbolic font name if (!!(flags & FontFlags.Symbolic)) { - baseEncoding = !properties.file && !properties.toUnicode ? + baseEncoding = !properties.file && /Symbol/i.test(properties.name) ? Encodings.SymbolSetEncoding : Encodings.MacRomanEncoding; } if (dict.has('Encoding')) { @@ -1258,6 +1258,7 @@ var PartialEvaluator = (function PartialEvaluatorClosure() { var properties = { type: type.name, + name: baseFontName, widths: metrics.widths, defaultWidth: metrics.defaultWidth, flags: flags, @@ -1316,6 +1317,7 @@ var PartialEvaluator = (function PartialEvaluatorClosure() { var properties = { type: type.name, + name: fontName.name, subtype: subtype, file: fontFile, length1: length1,