On Saturday, March 23, 2019 at 3:00:17 PM UTC-5, Edward K. Ream wrote: #1102 <https://github.com/leo-editor/leo-editor/issues/1102> discusses > using Leonine settings instead of pygments styles. That would allow > per-language colors and styles for pygments tokens. I'll consider doing > that only if there is a real need. >
On second thought, it would be unbearable not to do #1102 now. Recent revs finish all the essentials. The work has been straightforward. When @bool use-pygments is True the pygments colorizer examines a new setting: @bool *use-pygments-styles*, defined in leoSettings.leo with a default of True. If @bool use-pygments-styles is *False*, the *pygments* colorizer uses the legacy (more flexible) style tables. The default colors are based on the pygments 'default' style. Imo, they are pretty awful. Happily, leoSettings.leo will soon define default colors for pygments styles, based on solarized colors. I expect to be *completely *finished in a few more hours. 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.
