Thanks for the fix. The jedit colorizer is much better. I can't recall why I was even using Pygments colorizer :/
On Tuesday, November 12, 2024 at 8:34:31 AM UTC+11 Edward K. Ream wrote: > On Monday, November 11, 2024 at 1:50:48 PM UTC-6 lewis wrote: > > > *AttributeError: 'PygmentsColorizer' object has no attribute '_recolor'.* > > > The fix, via PR #4168 <https://github.com/leo-editor/leo-editor/pull/4168>, > is now in "devel." > > As noted in the PR, the Pygments colorizer does not take advantage of the > recent colorizing work. It probably never will. > > 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 view this discussion visit https://groups.google.com/d/msgid/leo-editor/60dd38f7-995c-4490-ad89-23512fa803f4n%40googlegroups.com.
