From 290490a455f3404aa6c5e26dd878c972b68201ec Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 26 May 2008 21:11:20 +0000 Subject: [PATCH] fix bad encoding in reference manual svn: r9965 original commit: cde865b571717368478f48a9cb965f66af867ea8 --- collects/scribble/manual.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/scribble/manual.ss b/collects/scribble/manual.ss index 22d95211..0a2468a4 100644 --- a/collects/scribble/manual.ss +++ b/collects/scribble/manual.ss @@ -42,9 +42,10 @@ (define-code SCHEMEBLOCK (to-paragraph/prefix (hspace 2) (hspace 2) "") UNSYNTAX) (define-code SCHEMEBLOCK0 to-paragraph UNSYNTAX) +(define interaction-prompt (make-element 'tt (list "> " ))) (define-code schemeinput (to-paragraph/prefix - (make-element #f (list (hspace 2) (make-element 'tt (list "> " )))) + (make-element #f (list (hspace 2) interaction-prompt)) (hspace 4) ""))