1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-26 10:08:06 +02:00

Fix priority of which font encoding is used.

This commit is contained in:
Brendan Dahl 2013-04-10 09:51:06 -07:00
parent a017e105cc
commit 0f41b2db44
5 changed files with 36 additions and 9 deletions

View file

@ -383,7 +383,7 @@ describe('font', function() {
'dup 33 /arrowright put\n' +
'readonly def\n');
var parser = new Type1Parser(stream);
var props = {};
var props = { overridableEncoding: true };
var program = parser.extractFontHeader(props);
expect(props.baseEncoding[33]).toEqual('arrowright');
});