From c7fe077d3b185447bd828317df1d0ff03f9c86e0 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 21 Mar 2011 12:05:07 -0400 Subject: [PATCH] Handle more accented characters in Scribble. original commit: 0641d7bd7829551cefba6253e39eea354f32fcbd --- collects/scribble/latex-render.rkt | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/collects/scribble/latex-render.rkt b/collects/scribble/latex-render.rkt index 993406f7..872b86ca 100644 --- a/collects/scribble/latex-render.rkt +++ b/collects/scribble/latex-render.rkt @@ -793,11 +793,23 @@ [(#\à) "\\`{a}"] [(#\À) "\\`{A}"] [(#\á) "\\'{a}"] + [(#\â) "\\^{a}"] + [(#\Â) "\\^{A}"] [(#\Á) "\\'{A}"] + [(#\ç) "\\c{c}"] + [(#\Ç) "\\c{C}"] [(#\è) "\\`{e}"] [(#\È) "\\`{E}"] [(#\é) "\\'{e}"] [(#\É) "\\'{E}"] + [(#\ê) "\\^{e}"] + [(#\Ê) "\\^{E}"] + [(#\î) "\\^{i}"] + [(#\Î) "\\^{I}"] + [(#\ô) "\\^{o}"] + [(#\Ô) "\\^{O}"] + [(#\û) "\\^{u}"] + [(#\Û) "\\^{U}"] [(#\ä) "\\\"a"] [(#\Ä) "\\\"A"] [(#\ü) "\\\"u"]