| Index: third_party/WebKit/Source/platform/scroll/Scrollbar.h
|
| diff --git a/third_party/WebKit/Source/platform/scroll/Scrollbar.h b/third_party/WebKit/Source/platform/scroll/Scrollbar.h
|
| index aa577f1ca763ea6e69c898509b17a8c754ba611c..2eb8b1e1b64edc4ad85ee2044a0b368b98cfef6a 100644
|
| --- a/third_party/WebKit/Source/platform/scroll/Scrollbar.h
|
| +++ b/third_party/WebKit/Source/platform/scroll/Scrollbar.h
|
| @@ -108,6 +108,9 @@ class PLATFORM_EXPORT Scrollbar : public Widget,
|
| bool enabled() const override { return m_enabled; }
|
| void setEnabled(bool) override;
|
|
|
| + // This returns device-scale-factor-aware pixel value.
|
| + // e.g. 15 in dsf=1.0, 30 in dsf=2.0.
|
| + // See also ScrolbarTheme::scrollbatThickness().
|
| int scrollbarThickness() const;
|
|
|
| // Called by the ScrollableArea when the scroll offset changes.
|
|
|