On Fri, 5 Jun 2015 11:01:13 -0500
"'Terry Brown' via leo-editor" <[email protected]> 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.
