Re: Working on pygments

On Thursday, March 21, 2019 at 5:35:19 AM UTC-5, john lunzer wrote: > Is it safe to assume that all lexers on this page, http://pygments.org/docs/lexers/, will work? Yes. Leo will use pygments.lexers.get_lexer_by_name to instantiate lexers as needed. A dict will likely be needed to

Re: Working on pygments

I'm guessing Leo will be getting a huge boost in the number of "supported languages". Is it safe to assume that all lexers on this page, http://pygments.org/docs/lexers/, will work? On Wednesday, March 20, 2019 at 7:11:31 PM UTC-4, Edward K. Ream wrote: > > On Tuesday, March 19, 2019 at

Re: Working on pygments

On Tuesday, March 19, 2019 at 2:57:31 PM UTC-5, Edward K. Ream wrote: Using the pygments syntax colorer would be an > important addition to Leo. This is #568 > . Imo, it should be > part of the last python 2 version of

Working on pygments

Using the pygments syntax colorer would be an important addition to Leo. This is #568 . Imo, it should be part of the last python 2 version of Leo. A recent prototype indicates that it should be possible in few days,