On Jun 30, 8:34 am, "Ville M. Vainio" <[email protected]> wrote:
> On Tue, Jun 30, 2009 at 3:37 PM, Edward K. Ream<[email protected]> wrote:
> > 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?
>
> We still have it in the version history anyway. Removing cruft is
> always +1 from me ;-).
Thanks for this feedback. I plan to run some tests of PHP coloring
and the old code will be useful for comparison until all the tests
pass.
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
-~----------~----~----~----~------~----~------~--~---
