From f5f65790cab20d20c46ebffce79877918aa6aa83 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Wed, 13 Feb 2008 15:36:57 +0000 Subject: [PATCH] added image/plain svn: r8644 original commit: 603246a15a1fc6ee623735ea7756324693e77143 --- collects/scribble/manual.ss | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/collects/scribble/manual.ss b/collects/scribble/manual.ss index f6228e21..1d898c2f 100644 --- a/collects/scribble/manual.ss +++ b/collects/scribble/manual.ss @@ -244,7 +244,7 @@ litchar verbatim) - (provide image onscreen menuitem defterm emph + (provide image image/plain onscreen menuitem defterm emph schemefont schemevalfont schemeresultfont schemeidfont schemevarfont schemeparenfont schemekeywordfont schememetafont schememodfont filepath exec envvar Flag DFlag PFlag DPFlag @@ -261,6 +261,13 @@ (make-image-file filename-relative-to-source) (decode-content alt)))) + ;; MF! -- the centerline is used in the drscheme manual + ;; otherwise I'd switch + (define (image/plain filename-relative-to-source . alt) + (make-element + (make-image-file filename-relative-to-source) + (decode-content alt))) + (define (onscreen . str) (make-element 'sf (decode-content str))) (define (menuitem menu item)