On Mon, Jun 15, 2009 at 10:24 PM, Ville M. Vainio<[email protected]> wrote:
> Something may need to be optimized though - it takes a long while to > colorize a large node (as you observed). Perhaps just honoring a max > character count will help (30 secs is way too long to wait) > > Here's some profile data: http://pastebin.com/m66fa8ea2 For reference, "pygments" colorize the same data 8 meg in 14 secs. So, we are not THAT much off. actually (profiler slow down leo anyway). So basically, performance is ok, we just need to hone the code that kills colorizer early enough. It probably shouldn't be in the colorizer, but even earlier - before the text in control is populated. -- 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 -~----------~----~----~----~------~----~------~--~---
