What I've discovered. There are 3 coloring engines are in leo: * *jedit* (default and fallback) * *pygments* (@bool use-pygments) * *scintilla* (@bool qt-use-scintilla)
jedit engine can be customized via changing the parts of leo distr (so you cannot keep it around w/o polluting leo's sources). pygments has disgusting coloring for anything different from python. scintilla is critically outdated and cannot be used at all. So despite the choice availble - there's actually no choice. All end user is suitable for is jedit colorizer. So I am going to adopt it for my needs. And maybe later I'll get an idea how to avoid polluting leo's git. A hope left that pygments can be in any way configured (installing pygments-lexer-babylon didnt help). I'll be investigating further more. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/1560bb5e-6e66-465f-9593-10de1266ec33%40googlegroups.com.
