Terry, thanks for getting to this so quickly. It will be good to have Todo back. I'm more organized than I've ever been thanks to Leo and Todo! . On Saturday, June 6, 2015 at 11:08:18 AM UTC-4, Terry Brown wrote: > > On Fri, 5 Jun 2015 11:01:13 -0500 > "'Terry Brown' via leo-editor" <[email protected] <javascript:>> > wrote: > > > Well, I'm definitely seeing Todo.py related slow down, and will > > attempt to investigate that. > > Just pushed a fix for this. w.setStyle("/* */") was being called on > every node, and is just too slow for that :-/ Now it's called on idle, > which was tricky because it needs to be true idle, not just the 0.5 > sec(?) interval the idle hooks fires on. So it's only called when the > node was entered 0.2 seconds ago. It seems Qt styles are not really up > to the heavy lifting you can do with HTML browser CSS just by changing > class(es). > > Cheers -Terry >
-- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
