The todo.py slowdown was not the only slowdown. For syntax highlighted
nodes, there remains a (less severe) lack of visual updating when holding
down the Up/Down arrow in the tree and additionally a significant lack up
visual updates when holding down Ctrl-Up/Down in the body to move lines
around.
On Monday, June 8, 2015 at 7:21:43 PM UTC-4, Edward K. Ream wrote:
>
> On Sat, Jun 6, 2015 at 10:08 AM, 'Terry Brown' via leo-editor <
> leo-e...@googlegroups.com <javascript:>> wrote:
>
>> On Fri, 5 Jun 2015 11:01:13 -0500
>> "'Terry Brown' via leo-editor" <leo-e...@googlegroups.com <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
>> [snip]
>>
>
> Thanks for this.
>
> Here is what I think I know about loading large text.
>
> 1. Syntax coloring:
>
> At present, the Python colorizer is enabled in leoColorizer.py. That is,
> python_qsh = True. This switch enables idle-time colorizing of the text, so
> the length of text shouldn't matter.
>
> 2. Waiting for large text to load.
>
> Qt has major issues with large text. This should not cause problems if
> the user doesn't try to change the text.
>
> The setting, @int max-pre-loaded-body-chars = 30000, controls whether Leo
> will insert so-call "large-text buttons" for body text greater than the
> given value. (The value of 0 disables the feature).
>
> I doubt whether much more can be done to speed loading of large text. The
> normal workaround is to split large nodes.
>
> HTH.
>
> EKR
>
>
--
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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
