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