waterson%netscape.com 617c766449 Bug 26129. Replace timer with a PLEvent. GTK timers (in this specific case) seem to be confused when a modal event queue has been pushed. By using a PLEvent, we get the same effect, but are able to grab the outermost queue to ensure that our callback to fire OnEndDocumentLoad gets kicked. r=mscott		2000-02-06 01:30:16 +00:00
..
public	fixed typo	2000-02-04 12:17:39 +00:00
src	Bug 26129. Replace timer with a PLEvent. GTK timers (in this specific case) seem to be confused when a modal event queue has been pushed. By using a PLEvent, we get the same effect, but are able to grab the outermost queue to ensure that our callback to fire OnEndDocumentLoad gets kicked. r=mscott	2000-02-06 01:30:16 +00:00