On Mon, Mar 2, 2020 at 7:34 AM gar wrote: > Not much :-) > > --trace-coloring... > @bool use-pygments : False > @bool use-pytments-styles : True > @string pygments-style-name : default > > literal > > --trace-coloring: js7.leokeyword 0 13 '@language js7' > match_at_language,colorRangeWithTag >
Alright. I'll look into this. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS27dxjGkf7zwaycoXrqn74H-C9HU-3f_St-YE5O_FjLzg%40mail.gmail.com.