commit f5ce9df90144501b32d26a5e59866833ca6a26bd
parent 27d597b71fac5cfc8d1b2ce21dc2cf401236aa3d
Author: Matthew Flatt <mflatt@racket-lang.org>
Date: Fri, 16 Dec 2011 10:41:50 -0700
scribble: avoid line-break between "#" and "<void>"
original commit: 1b4f13e674a640cfca5808a024393e047b4d7b19
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git 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]