On Wed, Jun 10, 2009 at 2:46 AM, Ville M. Vainio <vivai...@gmail.com> wrote:

>
> On Tue, Jun 9, 2009 at 10:12 PM, Edward K. Ream<edream...@gmail.com>
> wrote:
>
> >> It sets the whole content every time:
> >>
> >>        contents = w.toHtml()
> >>        w.setHtml(contents + '\n')
> >
> > Yes.  Iirc, I could see no faster way to do the write.
>
> Faster way is to use what we use in body editor, i.e. QTextCursor /
> insertHtml. I implemented it that way back in the day, but I think it
> was reverted to current behaviour for some reason (I left putnl
> unimplemented back then). But I don't remember the details.


Ok.  I'll look at this again. If I run into problems I'll ask for help
before concluding that the QTextCursor approach won't work.


> > Various commands accumulate output so as to do a single g.es, but that's
> not
> > so easy if you don't know in advance what the complete output will be.
>
> Yeah, and this would be a bad hack anyway. If we can't fix g.es to be
> fast (due to having to support something special?), we should probably
> add g.es_fast or somesuch ("I don't care how this works, as long as
> it's fast!").


:-)  I would much prefer just to make g.es fast.

Edward

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To post to this group, send email to leo-editor@googlegroups.com
To unsubscribe from this group, send email to 
leo-editor+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/leo-editor?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to