Commit 5d4ad94ad17fce1fd4279753f2aa6e22f753d0ff
1 parent
06c2ca59
*** empty log message ***
Showing
2 changed files
with
2 additions
and
1 deletions
Show diff stats
anubis_dev/library/tools/latex.anubis
anubis_dev/library/tools/maml.anubis
| ... | ... | @@ -784,7 +784,7 @@ define String |
| 784 | 784 | } else |
| 785 | 785 | //if h ='|' then "\\raisebox{-2.8pt}{\\rule{0.5pt}{11pt}}" else |
| 786 | 786 | //if h = '-' then "$-$" |
| 787 | - else transform_schar(h,latex_schar)) | |
| 787 | + transform_schar(h,latex_schar)) | |
| 788 | 788 | + format_code_with_color2(t,sub_environment,begin_code_color,end_code_color) |
| 789 | 789 | }. |
| 790 | 790 | ... | ... |