Index: third_party/WebKit/Source/core/layout/LayoutThemeDefault.h |
diff --git a/third_party/WebKit/Source/core/layout/LayoutThemeDefault.h b/third_party/WebKit/Source/core/layout/LayoutThemeDefault.h |
index 498edfdc2ff9b0fdecf5fdc6676ba18799b2e90e..c577078aa5f5de233bd07f399725718a4d478b6f 100644 |
--- a/third_party/WebKit/Source/core/layout/LayoutThemeDefault.h |
+++ b/third_party/WebKit/Source/core/layout/LayoutThemeDefault.h |
@@ -147,6 +147,7 @@ class CORE_EXPORT LayoutThemeDefault : public LayoutTheme { |
private: |
ThemePainter& painter() override { return m_painter; } |
+ void didChangeThemeEngine() override; |
int menuListInternalPadding(const ComputedStyle&, int padding) const; |