Permalink
Browse files

LaTeX output: Use \char13 and \char18 for ' and `.

Reason:  Otherwise these appear as curly quotes.
The upquote package can alternatively be used, but it seems better to
make it unnecessary to use it.
  • Loading branch information...
1 parent 6197867 commit 0070f7a259eec69dbbf6a44dc536f251cb31d16c John MacFarlane committed Oct 12, 2012
Showing with 2 additions and 0 deletions.
  1. +2 −0 Text/Highlighting/Kate/Format/LaTeX.hs
@@ -42,6 +42,8 @@ escapeLaTeX = concatMap escapeLaTeXChar
escapeLaTeXChar '{' = "\\{"
escapeLaTeXChar '}' = "\\}"
escapeLaTeXChar '|' = "\\textbar{}" -- used in inline verbatim
+ escapeLaTeXChar '`' = "{\\char18}" -- otherwise will be curly
+ escapeLaTeXChar '\'' = "{\\char13}" -- otherwise will be curly
escapeLaTeXChar x = [x]
-- LaTeX

0 comments on commit 0070f7a

Please sign in to comment.