Add the capital version of an accented character to Scribble.

original commit: 2e811060c5ded00a8946303aae7391ebac9febe6
2011-03-23 18:21:14 -04:00 · 2011-03-23 18:21:14 -04:00 · ce0e91fe1b
commit ce0e91fe1b
parent d145d03176
1 changed files with 1 additions and 0 deletions
--- a/collects/scribble/latex-render.rkt
+++ b/collects/scribble/latex-render.rkt
@ -805,6 +805,7 @@
                            [(#\ê) "\\^{e}"]
                            [(#\Ê) "\\^{E}"]
                            [(#\í) "\\'{i}"]
+                            [(#\Í) "\\'{I}"]
                            [(#\î) "\\^{i}"]
                            [(#\Î) "\\^{I}"]
                            [(#\ô) "\\^{o}"]