| Index: third_party/WebKit/public/platform/WebThemeEngine.h
|
| diff --git a/third_party/WebKit/public/platform/WebThemeEngine.h b/third_party/WebKit/public/platform/WebThemeEngine.h
|
| index 8fe876d11d9b8f6647bde8d53955354c46014e4d..b14ccc03c36eaf62bb13084fef8dd54acc7dd4d0 100644
|
| --- a/third_party/WebKit/public/platform/WebThemeEngine.h
|
| +++ b/third_party/WebKit/public/platform/WebThemeEngine.h
|
| @@ -163,9 +163,11 @@ class WebThemeEngine {
|
| int thumbThickness;
|
| int scrollbarMargin;
|
| WebColor color;
|
| + double fadeOutDelaySeconds;
|
| + double fadeOutDurationSeconds;
|
| };
|
|
|
| - // Gets the overlay scrollbar style. Used for mobile theme.
|
| + // Gets the overlay scrollbar style. Not used on Mac.
|
| virtual void getOverlayScrollbarStyle(ScrollbarStyle*) {}
|
|
|
| // Paint the given the given theme part.
|
|
|