Index: chrome/browser/prerender/prerender_manager.h |
diff --git a/chrome/browser/prerender/prerender_manager.h b/chrome/browser/prerender/prerender_manager.h |
index 35c6a5cf72ada540d1af56c66dd35c4780911390..cef7c59db035e61596b189b72a5c0f8cb96c17fd 100644 |
--- a/chrome/browser/prerender/prerender_manager.h |
+++ b/chrome/browser/prerender/prerender_manager.h |
@@ -194,12 +194,6 @@ class PrerenderManager : public base::SupportsWeakPtr<PrerenderManager>, |
double fraction_plt_elapsed_at_swap_in, |
const GURL& url); |
- // Set whether prerendering is currently enabled for this manager. |
- // Must be called on the UI thread. |
- // If |enabled| is false, existing prerendered pages will still persist until |
- // they time out, but new ones will not be generated. |
- void set_enabled(bool enabled); |
- |
static PrerenderManagerMode GetMode(); |
static void SetMode(PrerenderManagerMode mode); |
static const char* GetModeString(); |
@@ -677,11 +671,6 @@ class PrerenderManager : public base::SupportsWeakPtr<PrerenderManager>, |
// The configuration. |
Config config_; |
- // Specifies whether prerendering is currently enabled for this |
- // manager. The value can change dynamically during the lifetime |
- // of the PrerenderManager. |
- bool enabled_; |
- |
// The profile that owns this PrerenderManager. |
Profile* profile_; |