Index: third_party/WebKit/public/web/WebView.h |
diff --git a/third_party/WebKit/public/web/WebView.h b/third_party/WebKit/public/web/WebView.h |
index 827a61ef1caad6b34af66d0bb997af9dec29f015..dc25a387cd749060b27f5c72a40e419e5fff67f4 100644 |
--- a/third_party/WebKit/public/web/WebView.h |
+++ b/third_party/WebKit/public/web/WebView.h |
@@ -285,6 +285,14 @@ public: |
virtual void setDeviceColorProfile(const WebVector<char>&) = 0; |
virtual void resetDeviceColorProfileForTesting() = 0; |
+ // Resize the view at the same time as changing the state of the top |
+ // controls. If |topControlsShrinkLayout| is true, the embedder shrunk the |
+ // WebView size by the top controls height. |
+ virtual void resizeWithTopControls( |
+ const WebSize&, |
+ float topControlsHeight, |
+ bool topControlsShrinkLayout) = 0; |
+ |
// Auto-Resize ----------------------------------------------------------- |
// In auto-resize mode, the view is automatically adjusted to fit the html |