Karl Dahlke <[email protected]> writes:

> and if a rerender hasn't happened in one minute, or some such time interval,
> then I force the rerender and tell you what lines have changed.

That might work.  But perhaps make it toggleable, at least until it is
known to work smoothely.  Even when it is working smoothely, it might be
a good idea to keep forced rerendering toggleable.  Yeah, this is a
really tricky subject, fraught with traps for the unwary...

-- Chris
_______________________________________________
Edbrowse-dev mailing list
[email protected]
http://lists.the-brannons.com/mailman/listinfo/edbrowse-dev

Reply via email to