Leo's devel branch now contains the following PRs: - PR #4285 <https://github.com/leo-editor/leo-editor/pull/4285>: Fix colorizing bugs for C. - PR #4286 <https://github.com/leo-editor/leo-editor/pull/4286>: Improve the promote-bodies command. - PR #4287 <https://github.com/leo-editor/leo-editor/pull/4287>: Allow backslashes in Leo's find commands.
Please report any problems. 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/cc3a23fa-9cf3-440f-a55e-9be44f1b2f8dn%40googlegroups.com.
