| Index: third_party/WebKit/Source/platform/Theme.h
|
| diff --git a/third_party/WebKit/Source/platform/Theme.h b/third_party/WebKit/Source/platform/Theme.h
|
| index 36322182e98939fd71c4de01fb44448c5257a618..011bf281271b84d0b370010ba08b3ba565bd0d05 100644
|
| --- a/third_party/WebKit/Source/platform/Theme.h
|
| +++ b/third_party/WebKit/Source/platform/Theme.h
|
| @@ -115,7 +115,10 @@ class PLATFORM_EXPORT Theme {
|
| // Allows the theme to modify the existing padding/border.
|
| virtual LengthBox ControlPadding(ControlPart,
|
| const FontDescription&,
|
| - const LengthBox& zoomed_box,
|
| + const Length& zoomed_box_top,
|
| + const Length& zoomed_box_right,
|
| + const Length& zoomed_box_bottom,
|
| + const Length& zoomed_box_left,
|
| float zoom_factor) const;
|
| virtual LengthBox ControlBorder(ControlPart,
|
| const FontDescription&,
|
|
|