PR #4173 <https://github.com/leo-editor/leo-editor/pull/4173> (merged into "devel") fixes an ancient colorizing bug. This bug is unrelated to recent work.
The PR fixes a tiny edge case: the colorizer should not colorize @language directives if @killcolor or @nocolor is in effect. The PR contains a one-line fix. I discovered this bug by lucky accident while testing the performance of @killcolor. And I mean *really* lucky. It only happened if the user inserted a line after the @language line! Please continue to test "devel." Thanks. 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/c155bce5-d2c0-42c8-83c9-f058f8c844f9n%40googlegroups.com.
