| 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_;
|
|
|
|
|