Add method to scroll current node to specific position in Chromium WebKit API
[WebKit-https.git] / Source / WebKit / chromium / public / WebView.h
index 68683f1ab417899dd1974a3323c601e9004c3070..338c2ad945f082a4afea55aecd0a7094dbd1ba89 100644 (file)
@@ -174,6 +174,10 @@ public:
     // Scrolls the node currently in focus into view.
     virtual void scrollFocusedNodeIntoView() = 0;
 
+    // Scrolls the node currently in focus into |rect|, where |rect| is in
+    // screen space.
+    virtual void scrollFocusedNodeIntoRect(const WebRect& rect) { }
+
 
     // Zoom ----------------------------------------------------------------