| Index: Source/platform/scroll/ScrollView.h
|
| diff --git a/Source/platform/scroll/ScrollView.h b/Source/platform/scroll/ScrollView.h
|
| index d53dec4ff3317ee58623ae6c278e74d8390eb091..e34632c285fa10d187732a173bd1766030eb6200 100644
|
| --- a/Source/platform/scroll/ScrollView.h
|
| +++ b/Source/platform/scroll/ScrollView.h
|
| @@ -43,7 +43,7 @@ class Scrollbar;
|
|
|
| class PLATFORM_EXPORT ScrollView : public Widget, public ScrollableArea {
|
| public:
|
| - ~ScrollView();
|
| + virtual ~ScrollView();
|
|
|
| // ScrollableArea functions.
|
| virtual int scrollSize(ScrollbarOrientation) const OVERRIDE;
|
| @@ -203,10 +203,10 @@ public:
|
| virtual void setParent(Widget*) OVERRIDE; // Overridden to update the overlapping scrollbar count.
|
|
|
| // Called when our frame rect changes (or the rect/scroll position of an ancestor changes).
|
| - virtual void frameRectsChanged();
|
| + virtual void frameRectsChanged() OVERRIDE;
|
|
|
| // Widget override to update our scrollbars and notify our contents of the resize.
|
| - virtual void setFrameRect(const IntRect&);
|
| + virtual void setFrameRect(const IntRect&) OVERRIDE;
|
|
|
| // Widget override to notify our contents of a cliprect change.
|
| virtual void clipRectChanged() OVERRIDE;
|
| @@ -249,7 +249,7 @@ public:
|
|
|
| virtual bool isPointInScrollbarCorner(const IntPoint&);
|
| virtual bool scrollbarCornerPresent() const;
|
| - virtual IntRect scrollCornerRect() const;
|
| + virtual IntRect scrollCornerRect() const OVERRIDE;
|
| virtual void paintScrollCorner(GraphicsContext*, const IntRect& cornerRect);
|
| virtual void paintScrollbar(GraphicsContext*, Scrollbar*, const IntRect&);
|
|
|
| @@ -338,7 +338,7 @@ private:
|
| void calculateOverhangAreasForPainting(IntRect& horizontalOverhangRect, IntRect& verticalOverhangRect);
|
| void updateOverhangAreas();
|
|
|
| - int pageStep(ScrollbarOrientation) const;
|
| + virtual int pageStep(ScrollbarOrientation) const OVERRIDE;
|
| }; // class ScrollView
|
|
|
| DEFINE_TYPE_CASTS(ScrollView, Widget, widget, widget->isScrollView(), widget.isScrollView());
|
|
|