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 a04be6d1b3447e5faa34fec1a95e41773138919e..6b0fbab0e8d48ee986b506e5c460084d83b77ca8 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 |