Index: chrome/browser/task_manager/task_manager_resource_providers.h |
diff --git a/chrome/browser/task_manager/task_manager_resource_providers.h b/chrome/browser/task_manager/task_manager_resource_providers.h |
index e52cadfe4c15fae799b7ff48be64eab769288863..680cd863ba79c208e7020fd2cf88793125a96aca 100644 |
--- a/chrome/browser/task_manager/task_manager_resource_providers.h |
+++ b/chrome/browser/task_manager/task_manager_resource_providers.h |
@@ -107,6 +107,7 @@ class TaskManagerTabContentsResource : public TaskManagerRendererResource { |
private: |
bool IsPrerendering() const; |
+ bool IsInstantPreview() const; |
// Returns true if contains content rendered by an extension. |
bool HostsExtension() const; |