An improved scripting tutorial would be great, but the demo-it tool in python would be awesome.
Great stuff Edward. Thank you for all of your work. It's fun to watch you when you're excited about Leo. I've been around long enough to see your "down" periods. I don't know what goes on in those periods but during them but I will constantly check the forums and the Leo's github for activity, waiting for the next "comeback". I don't know if you watch sports but I liken your activity to a typical year in sports complete with off-season. I'm not ashamed to say that you're one of my favorite programming "athletes" and I look forward to every new season. Your penchant for communication and documentation are really the key. Forgive the hyperbole, but you're easily *the* most transparent programmer I've encountered. On Friday, January 27, 2017 at 5:59:58 AM UTC-5, Edward K. Ream wrote: > > On Tuesday, January 24, 2017 at 3:25:16 PM UTC-6, Edward K. Ream wrote: > > > A lot of fooling around will be required [on the colorizer], all > confined to the JEditColorizer class. > > That work is complete, except for minor cleaning. I'll continue testing > the color branch before merging it. Perhaps today. > > > The recent work with syntax coloring is too good to sit on. I'll > [release] 5.5b1 in about a week. > > It's important to improve at least the scripting tutorial before releasing > b1. A new, official, release is too good an opportunity to rush into :-) > And I want to recreate the demo-it tool > <https://github.com/howardabrams/demo-it> in python. That should simplify > the creation of video demos. This work might take another week. > > 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.