Add method to scroll current node to specific position in Chromium WebKit API
[WebKit-https.git] / Source / WebKit / chromium / src / WebViewImpl.h
index 6941f3242992d1357f291be45ac1824e06bdf999..c9892cc159155e010fc054900e82fa193f8cf17e 100644 (file)
@@ -153,6 +153,7 @@ public:
     virtual void setInitialFocus(bool reverse);
     virtual void clearFocusedNode();
     virtual void scrollFocusedNodeIntoView();
     virtual void setInitialFocus(bool reverse);
     virtual void clearFocusedNode();
     virtual void scrollFocusedNodeIntoView();
+    virtual void scrollFocusedNodeIntoRect(const WebRect&);
     virtual double zoomLevel();
     virtual double setZoomLevel(bool textOnly, double zoomLevel);
     virtual void zoomLimitsChanged(double minimumZoomLevel,
     virtual double zoomLevel();
     virtual double setZoomLevel(bool textOnly, double zoomLevel);
     virtual void zoomLimitsChanged(double minimumZoomLevel,