Set the minimum timer interval on a per-page basis, and adjust it when...

webkit/glue/webpreferences.h

Index: webkit/glue/webpreferences.h
===================================================================
--- webkit/glue/webpreferences.h	(revision 75215)
+++ webkit/glue/webpreferences.h	(working copy)
@@ -77,6 +77,7 @@
   bool accelerated_plugins_enabled;
   bool memory_info_enabled;
   bool interactive_form_validation_enabled;
+  double minimum_timer_interval;

[darin (slow to review), 2011/02/17 06:42:32]

I don't see this field ever being used.  Since we don't need to pass this value
from the browser to the renderer, I would just leave this out.  I would still
modify the Apply method to assign the default value to the WebView's
WebSettings.

[Ken Russell (switch to Gerrit), 2011/02/18 01:05:54]

That sounds good and will address jamesr's concern as well. Done.

 
   // We try to keep the default values the same as the default values in
   // chrome, except for the cases where it would require lots of extra work for