On May 30, 12:50 pm, "Edward K. Ream" <[email protected]> wrote:
> In any event, I'll use jEdit itself to show me what coloring to > expect. Clearly, there are real bugs in Leo's colorizer, and the > proper thing to do is fix them asap, not paper them over. > > The plan is to attempt a fix for b1, but I shall delay them to b2 if > it turns out that implementing match_mark_previous/following breaks > previously-working colorizers. shell.py is a bit simpler and yet uses match_mark_previous/following, so I may try my hand on getting that to work first. EKR -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
