I plan no further work unless serious bugs are found. I have been using the new colorer in approximately its present form for several days without a hard crash.
The two new settings are as follows, with the indicated defaults: @int colorer_max_lines = 100 The maximum number of lines to color at once, when NEW_COLORER is True. @int colorer_delay settings = 200 The delay, in milliseconds, to wait before resuming recoloring, when NEW_COLORER is True. The new code has substantially better responsiveness than the old, but you may want to tweak the settings above. The present code looks like the simplest thing that could possibly work, and is substantially simpler and more robust than previous ideas. Nevertheless, it is not perfect. Handling very large files is always going to be a bit clumsy, at least until the full text is recolored. After that, recoloring is very fast, as always. 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
