From 2a12b0323ba0b79b9fd5543354307794ab5c9064 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 25 Jun 2008 21:10:46 +0000 Subject: [PATCH] Add %%DocumentFonts to PS output svn: r10453 original commit: 4525e630501bfc2ed71afa1d0958779a6e23d5bf --- collects/mred/mred.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 4d5d74e5..1adbd086 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -35,7 +35,9 @@ afm-draw-text afm-get-text-extent afm-expand-name - afm-glyph-exists?) + afm-glyph-exists? + afm-record-font + afm-fonts-string) ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;