PR: #1826 https://github.com/leo-editor/leo-editor/pull/1741
On Monday, February 22, 2021 at 10:44:22 AM UTC-5 Edward K. Ream wrote: > On Fri, Feb 19, 2021 at 10:53 AM [email protected] <[email protected]> > wrote: > >> I just found a JEdit colorizer code for Julia, and converted it using >> Leo's Jedit2Py script button. It worked perfectly, so now we can have Leo >> colorizing Julia files. >> > > Thanks for this. Please create a PR for it. > > 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 on the web visit https://groups.google.com/d/msgid/leo-editor/38e99146-c147-4021-811f-8f733e3b3dc7n%40googlegroups.com.
