scribble: avoid line-break between "#" and "<void>"

2011-12-16 10:41:50 -07:00 · 2011-12-16 10:41:50 -07:00 · 1b4f13e674
commit 1b4f13e674
parent 4b1f746714
1 changed files with 2 additions and 2 deletions
--- 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]