scribble/base: fix verbatim

Typewriter font got lost in generalization to support non-string
arguments.
This commit is contained in:
Matthew Flatt 2013-11-12 09:33:25 -07:00
parent 37a56202dd
commit 24a132b8d1

View File

@ -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))))))