| changeset 191 | c6e4c5a996d0 |
| parent 180 | 0887863001b1 |
| child 230 | fb1a2dfb473d |
--- a/src/cm/views/texts.py Mon Feb 22 22:30:38 2010 +0100 +++ b/src/cm/views/texts.py Mon Feb 22 23:06:24 2010 +0100 @@ -324,7 +324,7 @@ if with_color : use_pandoc = False # pandoc wouldn't preserve comments scope background colors else : - if format in ('markdown', 'tex') : + if format in ('markdown', 'latex') : use_pandoc = True elif format in ('pdf', 'odt') : use_pandoc = (original_format == "markdown")