At present, newColoring is True in qtGui.py.  There have been no bug
reports filed against the new code, and even if there were, I can
foresee no circumstances that would result in going back to the old
code.

I would like to retire the old code completely.  Any objections?

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
-~----------~----~----~----~------~----~------~--~---

Reply via email to