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. |