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

webkit/glue/webpreferences.h

 // Copyright (c) 2006-2008 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 //
 // A struct for managing webkit's settings.
 //
 // Adding new values to this class probably involves updating
 // WebKit::WebSettings, common/render_messages.cc, browser/tab_contents/
 // render_view_host_delegate_helper.cc, and browser/profiles/profile.cc.
 
@@ skipping 59 matching lines @@
   bool experimental_webgl_enabled;
   bool gl_multisampling_enabled;
   bool show_composited_layer_borders;
   bool accelerated_compositing_enabled;
   bool accelerated_layers_enabled;
   bool accelerated_video_enabled;
   bool accelerated_2d_canvas_enabled;
   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
   // the embedder to use the same default value.
   WebPreferences();
   ~WebPreferences();
 
   void Apply(WebKit::WebView* web_view) const;
 };
 
 #endif  // WEBKIT_GLUE_WEBPREFERENCES_H__