[Webkit-unassigned] [Bug 17133] Should support pausing JavaScript execution without hanging the process

[bugzilla-daemon at webkit.org]

http://bugs.webkit.org/show_bug.cgi?id=17133


aroben at apple.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |timothy at hatcher.name




------- Comment #4 from aroben at apple.com  2008-03-07 08:33 PDT -------
I think we can follow Firebug/Gecko's model here in WebKit.

(In reply to comment #3)
> 2. Code scheduled to be executed via setTimeout/setInterval executes
> immediately when JS is resumed if the timer went off while paused

This doesn't seem like a particularly good behavior. I think it would be better
to pause the timers themselves while JS is paused, and resume the timers once
you resume.


-- 
Configure bugmail: http://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.