Index: third_party/WebKit/Source/core/dom/Document.h |
diff --git a/third_party/WebKit/Source/core/dom/Document.h b/third_party/WebKit/Source/core/dom/Document.h |
index 2d874b3159aae529462e18e09e8f7429ed9ee005..d1119b5f55873212ba9c26fe330cffb2626be0cb 100644 |
--- a/third_party/WebKit/Source/core/dom/Document.h |
+++ b/third_party/WebKit/Source/core/dom/Document.h |
@@ -355,6 +355,11 @@ public: |
bool hidden() const; |
void didChangeVisibilityState(); |
+ // If the document is "prefetch only", it will not be fully contstructed, |
+ // and should never be displayed. Only a few resources will be loaded and |
+ // scanned, in order to warm up caches. |
+ bool isPrefetchOnly() const; |
+ |
Node* adoptNode(Node* source, ExceptionState&); |
HTMLCollection* images(); |