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 ;-). -- Ville M. Vainio http://tinyurl.com/vainio --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
