Menu ▾ ▴

#258 Wrong Highlighting of control signs

open
nobody
None
1
2010-10-13
2009-11-28
Anonymous
No

When you have "\{" and "\}" behind each other in the document they are interpreted as belonging together and highlighted in green. I'm not sure if that was thought that way.
But I'm sure I'm about "\verb=\=". There the "\=" is blue while the first "=" is read. But with "\verb=^=" and "\verb=~=" the "=^=" and "=~=" is all red.
Greetings, Alex

Discussion

  • Sergiu Dotenco

    Sergiu Dotenco - 2010-10-13

    The described error has been added to the official bug list.

    Thank you for your report.

     

  • Sergiu Dotenco

    Sergiu Dotenco - 2010-10-13
    • labels: 434620 -->
    • milestone: 897336 -->
    • priority: 5 --> 1
     

Anonymous
Anonymous

Add attachments
Cancel