diff options
Diffstat (limited to 'Source/WebKit/chromium/src/WebDevToolsAgentImpl.h')
| -rw-r--r-- | Source/WebKit/chromium/src/WebDevToolsAgentImpl.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Source/WebKit/chromium/src/WebDevToolsAgentImpl.h b/Source/WebKit/chromium/src/WebDevToolsAgentImpl.h index f1af576cb..6a9663127 100644 --- a/Source/WebKit/chromium/src/WebDevToolsAgentImpl.h +++ b/Source/WebKit/chromium/src/WebDevToolsAgentImpl.h @@ -36,8 +36,7 @@ #include "WebDevToolsAgentPrivate.h" #include "WebPageOverlay.h" -#include "platform/WebSize.h" - +#include <public/WebSize.h> #include <wtf/Forward.h> #include <wtf/OwnPtr.h> @@ -76,7 +75,7 @@ public: virtual void didCreateScriptContext(WebFrameImpl*, int worldId); virtual void mainFrameViewCreated(WebFrameImpl*); virtual bool metricsOverridden(); - virtual void webViewResized(); + virtual void webViewResized(const WebSize&); // WebDevToolsAgent implementation. virtual void attach(); @@ -106,6 +105,8 @@ public: virtual void overrideDeviceMetrics(int width, int height, float fontScaleFactor, bool fitWindow); virtual void autoZoomPageToFitWidth(); + virtual void getAllocatedObjects(HashSet<const void*>&); + int hostId() { return m_hostId; } // WebPageOverlay |