Totally works for me now. I had loaded todo.py for an evaluation, but hadn't been using it for some time.
Chris On Monday, July 6, 2015 at 9:11:20 AM UTC-7, Terry Brown wrote: > > On Mon, 6 Jul 2015 10:44:20 -0500 > "'Terry Brown' via leo-editor" <[email protected] <javascript:>> > wrote: > > > On Mon, 6 Jul 2015 10:32:04 -0500 > > "'Terry Brown' via leo-editor" <[email protected] <javascript:>> > wrote: > > > > > > All plugins disabled, no styling or theming activated. Plain Jane, > > > > vanilla, Leo on Linux with well known, well tested python/pyqt > > > > versions, on Linux Mint 17. > > > > > > > > Create a node. Create five or six hundred words of text. Place > > > > cursor at the end of the text. Push down on and hold the left > > > > arrow key on the keyboard and scroll back past a hundred words or > > > > so and release the arrow key. > > > > > > > > For me, the cursor continues to move for a couple of dozen > > > > characters or so. > > > > Hmm, must admit when trying it 'vanilla' with > > HOME=/tmp python launchLeo.py /home/tbrown/r/del.leo the issue really > > doesn't exist to a degree worth complaining about. Will try bisect > > with my regular settings. > > Problem starts at a1c8133. I'm guessing it's exactly the same issue as > 904e70f: > > fix speed issue in todo.py ui update > > w.setStyle("/* */") was being called to update appearance for > attribute based stylin is too slow for that when scrolling through > the tree. Now it's called on idle. > > i.e. w.setStyleSheet() is too slow to call anywhere where speed > matters. So after loading etc. is fine, but between keystrokes is not > doable. > > I think I've fixed it in > https://github.com/leo-editor/leo-editor/commit/2ce861d > > 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.
