Index: third_party/WebKit/public/platform/WebScrollbarThemePainter.h |
diff --git a/third_party/WebKit/public/platform/WebScrollbarThemePainter.h b/third_party/WebKit/public/platform/WebScrollbarThemePainter.h |
index b46df87ae6e077271bd28207536548e7a9c3fcc0..8f4bda25f02b1bce357b834813b10cae455c66d5 100644 |
--- a/third_party/WebKit/public/platform/WebScrollbarThemePainter.h |
+++ b/third_party/WebKit/public/platform/WebScrollbarThemePainter.h |
@@ -80,6 +80,10 @@ class WebScrollbarThemePainter { |
float deviceScaleFactor); |
#endif |
+ BLINK_PLATFORM_EXPORT float deviceScaleFactor() const { |
+ return m_deviceScaleFactor; |
+ } |
+ |
private: |
// The theme is not owned by this class. It is assumed that the theme is a |
// static pointer and its lifetime is essentially infinite. The functions |