On Thu, Mar 28, 2019 at 4:14 PM Rob <larg...@gmail.com> wrote: Am I correct in assuming that if I set the new pygment boolean flag to > true, then Leo will use the pygment colorizer parameters *instead of* of > the legacy Leo mode files? Is that all there is to it? >
Yes. Note the new settings, with defaults as shown: @bool use-pygments = False @bool use-pygments-styles = True @string pygments-style-name = default So just changing @bool use-pygments to True will use the default pygments style. 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 post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.