PR #4140 <https://github.com/leo-editor/leo-editor/pull/4140> supports @language jupytext. It's a natural addition to @jupytext.
My self-imposed deadline for adding new code to 6.8.2 was yesterday. However, I think the new code is worth bending the rules! The PR is completely safe: - It makes no *changes *to Leo's coloring code. It only *adds* two new methods. - The new code will have no effect unless you use @language jupytext. *Summary* I shall merge this PR unless I hear objections. 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/2db069d4-32e4-4225-851b-493892cf4bc2n%40googlegroups.com.
