From f5ce9df90144501b32d26a5e59866833ca6a26bd Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Fri, 16 Dec 2011 10:41:50 -0700
Subject: [PATCH] scribble: avoid line-break between "#" and "<void>"

original commit: 1b4f13e674a640cfca5808a024393e047b4d7b19
---
 collects/scribble/private/manual-style.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/scribble/private/manual-style.rkt b/collects/scribble/private/manual-style.rkt
index 47e3ab3d..b5a5b945 100644
--- a/collects/scribble/private/manual-style.rkt
+++ b/collects/scribble/private/manual-style.rkt
@@ -188,10 +188,10 @@
 
 (define-on-demand void-const
   (make-v+u-link
-   (racketresultfont "#<void>")))
+   (nonbreaking (racketresultfont "#<void>"))))
 (define-on-demand undefined-const
   (make-v+u-link
-   (racketresultfont "#<undefined>")))
+   (nonbreaking (racketresultfont "#<undefined>"))))
 
 (define (link url 
               #:underline? [underline? #t]