PR #4183 <https://github.com/leo-editor/leo-editor/pull/4183> contains a few final tweaks to Leo's colorizer. It is now in the "devel" branch.
Issue #4161 <https://github.com/leo-editor/leo-editor/issues/4161> resulted in a thorough review of all of Leo's documentation! The revised documents are live on Leo's website. LeoDocs.leo is up to date on "devel". Issue #4166 <https://github.com/leo-editor/leo-editor/issues/4166> (rewrite the syntax coloring docs) remains open. It must document the changes made by PR #4182 <https://github.com/leo-editor/leo-editor/pull/4182>. *Summary* I plan no more changes to Leo's colorizer. But please continue testing! I'll soon finish updating Leo's documentation. These changes will immediately become live on Leo's website. 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 view this discussion visit https://groups.google.com/d/msgid/leo-editor/6e469d0e-9025-4635-afb8-bff31edbd7f5n%40googlegroups.com.
