I'll have to read it again but it sounds like they were actually changed
by some timer code, not directly from the g command.

Oh yes- you're right!  I think.  The pivotal line inside of jquery is:
setTimeout (callback);
The callback function writes the retrieved html to the innerhtml of a div.
But it's ensconced by the Timer, so I think you're right.
That's why there needed to be an rr before we were notified.
So this distinction in its current form may be undermined
by the fact that it's out of our hands whether a page author or a
library author wrapped something in setTimeout on a whim or whyever.
A bit worrisome - I knew to press rr because I knew from all kinds
of other echoing that there was finally something there.
Idea: could it happen inline with all other commands?  Not
asynchronously immediate, but you find out as soon as you do
anything else.


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

Reply via email to