From 1ca010cfb28f51a07d4bb69c0151e9a9c552013b Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 30 Jan 2008 20:37:58 +0000 Subject: [PATCH] add nbsp to text backend svn: r8480 original commit: 551a13131cb65f9ff23f41a8eb13fb3378c924d3 --- collects/scribble/text-render.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/scribble/text-render.ss b/collects/scribble/text-render.ss index fce2f4aa..0eb9c59d 100644 --- a/collects/scribble/text-render.ss +++ b/collects/scribble/text-render.ss @@ -89,6 +89,7 @@ [(rdquo) "\U201D"] [(rsquo) "\U2019"] [(rarr) "->"] + [(nbsp) " "] [else (error 'text-render "unknown element symbol: ~e" i)]))] [(string? i) (display i)] [else (write i)])