fix Scribble Latex rendering of consecutive dashes and quotes

original commit: 96d528db9edac819d209ed184ab94e7075316576
This commit is contained in:
Matthew Flatt 2010-07-24 20:14:45 -05:00
commit 42c4576533
2 changed files with 9 additions and 6 deletions

View File

@ -207,7 +207,7 @@
;; marshal info
(define/public (get-serialize-version)
2)
3)
(define/public (serialize-info ri)
(parameterize ([current-serialize-resolve-info ri])

View File

@ -562,11 +562,11 @@
[(symbol? i)
(display (case i
[(nbsp) "~"]
[(mdash) "---"]
[(ndash) "--"]
[(ldquo) "``"]
[(rdquo) "''"]
[(rsquo) "'"]
[(mdash) "{---}"]
[(ndash) "{--}"]
[(ldquo) "{``}"]
[(rdquo) "{''}"]
[(rsquo) "{'}"]
[(prime) "$'$"]
[(rarr) "$\\rightarrow$"]
[(larr) "$\\leftarrow$"]
@ -597,6 +597,9 @@
[(#\>) (if (rendering-tt) "{\\texttt >}" "$>$")]
[(#\<) (if (rendering-tt) "{\\texttt <}" "$<$")]
[(#\|) (if (rendering-tt) "{\\texttt |}" "$|$")]
[(#\-) "{-}"] ;; avoid en- or em-dash
[(#\`) "{`}"] ;; avoid double-quotes
[(#\') "{'}"] ;; avoid double-quotes
[(#\? #\! #\. #\:)
(if (rendering-tt) (format "{\\hbox{\\texttt{~a}}}" c) c)]
[(#\~) "$\\sim$"]