waterson%netscape.com e31ba113fc 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 ...

git-svn-id: svn://10.0.0.236/trunk@59918 18797224-902f-48f8-a5cc-f745e15eee43

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