From c19fabf7ae19ba78bbbc05c358c9f5e9ec17a537 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 19 Dec 2007 16:52:54 +0000 Subject: [PATCH] add support for 'color and 'bgcolor styles svn: r8064 original commit: e4a588e40563e8ddf71bc7200e9adf602b17bb44 --- collects/scribblings/gui/blurbs.ss | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/scribblings/gui/blurbs.ss b/collects/scribblings/gui/blurbs.ss index a0559fee..9508fb4c 100644 --- a/collects/scribblings/gui/blurbs.ss +++ b/collects/scribblings/gui/blurbs.ss @@ -247,7 +247,11 @@ information@|details|, even if the editor currently has delayed refreshing (see @elem{snip @techlink{position}})) (define (colorName name name2 r g b) - (make-element `(show-color ,r ,g ,b) (list (to-element (bytes->string/latin-1 name))))) + (make-element #f + (list (make-element `(bg-color ,r ,g ,b) + (list (hspace 5))) + (hspace 1) + (bytes->string/latin-1 name)))) (define (Resource s) @elem{@to-element[`(quote ,(string->symbol (string-append "MrEd:" s)))]