@@ 949-954 (lines=6) @@ | ||
946 | if (isset($o['info']['encodingDictionary'])) { |
|
947 | // then place a reference to the dictionary |
|
948 | $res .= "/Encoding " . $o['info']['encodingDictionary'] . " 0 R\n"; |
|
949 | } else { |
|
950 | if (isset($o['info']['encoding'])) { |
|
951 | // use the specified encoding |
|
952 | $res .= "/Encoding /" . $o['info']['encoding'] . "\n"; |
|
953 | } |
|
954 | } |
|
955 | ||
956 | if (isset($o['info']['FirstChar'])) { |
|
957 | $res .= "/FirstChar " . $o['info']['FirstChar'] . "\n"; |
|
@@ 1073-1075 (lines=3) @@ | ||
1070 | $o['info']['encoding'] = 'WinAnsiEncoding'; |
|
1071 | } |
|
1072 | ||
1073 | if ($o['info']['encoding'] !== 'none') { |
|
1074 | $res .= "/BaseEncoding /" . $o['info']['encoding'] . "\n"; |
|
1075 | } |
|
1076 | ||
1077 | $res .= "/Differences \n["; |
|
1078 |