On Jun 15, 6:04 am, "Edward K. Ream" <[email protected]> wrote:
> Rev 2046 contains a few more bug fixes to the new colorizer.
>
> As an experiment, it is enabled by default. You can always disable it
> by setting newColoring = False at the start of qtGui.py.
Test of a fairly large node shows that initial coloring takes awhile.
Inserting @killcolor speeds things up acceptably.
In all cases, incremental coloring (after the node is first colored)
seems fast.
Edward
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
