RESOLVED FIXED 100405
Move default DOM Timer values into Settings 
https://bugs.webkit.org/show_bug.cgi?id=100405
Summary Move default DOM Timer values into Settings
Tony Chang
Reported 2012-10-25 12:14:27 PDT
Move default DOM Timer values into Settings
Attachments
Patch (7.39 KB, patch)
2012-10-25 12:17 PDT, Tony Chang 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Tony Chang
Comment 1 2012-10-25 12:17:58 PDT
Created attachment 170708 [details] Patch
Kenneth Russell
Comment 2 2012-10-25 14:40:53 PDT
Comment on attachment 170708 [details] Patch Seems fine to me.
WebKit Review Bot
Comment 3 2012-10-25 14:49:36 PDT
Comment on attachment 170708 [details] Patch Clearing flags on attachment: 170708 Committed r132538: <http://trac.webkit.org/changeset/132538>
WebKit Review Bot
Comment 4 2012-10-25 14:49:39 PDT
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.