intraface /
intraface.dk
| @@ 828-831 (lines=4) @@ | ||
| 825 | if (isset($o['info']['encodingDictionary'])) { |
|
| 826 | // then place a reference to the dictionary |
|
| 827 | $res.="/Encoding ".$o['info']['encodingDictionary']." 0 R "; |
|
| 828 | } elseif (isset($o['info']['encoding'])) { |
|
| 829 | // use the specified encoding |
|
| 830 | $res.="/Encoding /".$o['info']['encoding']." "; |
|
| 831 | } |
|
| 832 | if (isset($o['info']['FirstChar'])) { |
|
| 833 | $res.="/FirstChar ".$o['info']['FirstChar']." "; |
|
| 834 | } |
|
| @@ 923-925 (lines=3) @@ | ||
| 920 | if (!isset($o['info']['encoding'])) { |
|
| 921 | $o['info']['encoding']='WinAnsiEncoding'; |
|
| 922 | } |
|
| 923 | if ($o['info']['encoding']!='none') { |
|
| 924 | $res.="/BaseEncoding /".$o['info']['encoding']." "; |
|
| 925 | } |
|
| 926 | $res.="/Differences ["; |
|
| 927 | $onum=-100; |
|
| 928 | foreach ($o['info']['differences'] as $num => $label) { |
|
