From 54376250e012a27ddd9e30bee5c96b86edf06d8d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 14 Jul 2014 11:10:29 +0100 Subject: [PATCH] Scribble Latex/PDF: fix quote and backquote rendering When text is literally a quote (ASCII 39) or backquote (ASCII 96), then render it in a way that prevents LaTeX from converting to curly variants. original commit: 69d64e2893cca5e143609494547b64b7f90b7228 --- pkgs/scribble-pkgs/scribble-lib/scribble/latex-render.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/latex-render.rkt b/pkgs/scribble-pkgs/scribble-lib/scribble/latex-render.rkt index 1c20d4ce..2f44179a 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/latex-render.rkt +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/latex-render.rkt @@ -951,8 +951,8 @@ [(#\<) (if (rendering-tt) "{\\Stttextless}" "$<$")] [(#\|) (if (rendering-tt) "{\\Stttextbar}" "$|$")] [(#\-) "{-}"] ;; avoid en- or em-dash - [(#\`) "{`}"] ;; avoid double-quotes - [(#\') "{'}"] ;; avoid double-quotes + [(#\`) "{\\textasciigrave}"] + [(#\') "{\\textquotesingle}"] [(#\? #\! #\. #\:) (if (rendering-tt) (format "{\\hbox{\\texttt{~a}}}" c) c)] [(#\~) "$\\sim$"]