From d96d31582ff8c36ce2f70586cd7b4fb0e238ea97 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 12 Nov 2013 09:33:25 -0700 Subject: [PATCH] scribble/base: fix `verbatim` Typewriter font got lost in generalization to support non-string arguments. original commit: 24a132b8d11b9ac66dd140a142d0dbcb7c26292d --- pkgs/scribble-pkgs/scribble-lib/scribble/base.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/base.rkt b/pkgs/scribble-pkgs/scribble-lib/scribble/base.rkt index ab8da3cc..639f8a6e 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/base.rkt +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/base.rkt @@ -567,7 +567,7 @@ ;; that the space is preserved exactly: (let ([spaces (regexp-match-positions #rx"(?:^| ) +" str)]) (if spaces - (list* (substring str 0 (caar spaces)) + (list* (make-element 'tt (substring str 0 (caar spaces))) (hspace (- (cdar spaces) (caar spaces))) (str->elts (substring str (cdar spaces)))) (list (make-element 'tt (list str))))))