diff options
Diffstat (limited to 'ps')
| -rw-r--r-- | ps/music-drawing-routines.ps | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/ps/music-drawing-routines.ps b/ps/music-drawing-routines.ps index fff7dfd752..64bd1bf56a 100644 --- a/ps/music-drawing-routines.ps +++ b/ps/music-drawing-routines.ps @@ -33,6 +33,25 @@ b4_Inc_state restore } bind def + +%<font> <encoding> <name> reencode-font +/reencode-font +{ + /name exch def + /encoding exch def + dup length + dict begin { + 1 index /FID ne {def} {pop + pop} ifelse + } + forall + /Encoding encoding + def currentdict + end + name exch definefont +} bind def + + % llx lly urx ury URI /mark_URI { |