On Wed, Jun 5, 2019 at 7:55 AM Josef <[email protected]> wrote: > use-pygments = True works better for latex files, but Leo's colorizer > seems to work better for some other syntaxes, > so I was wondering if there is a way to switch between the two within a > single Leo outline? >
Not yet. One could imagine @pygments or @jedit directives. However, it would be simpler and better to fix latex coloring when using Leo's legacy syntax coloring code. Please open a new issue, listing the desired improvements to Leo's latex colorer. > Btw, the pygments colorizer seems to be buggy when it comes to Lua long > literal string syntax, e.g. those between [[ and ]] or between [=[ and ]=] > etc. when it contains newlines or quotes. Should I file a bug report, or is > this anyhow a "won't fix"? > I would be "Can't fix", if this is a pygments bug. Consider filing a bug report with the pygments people, if one has not already been filed. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS0PKRtoUiyoWhSn5VsjysNow%2BsATxECtRZBO%3DM4Av3V%2Bg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
