diff options
| author | John Reck <jreck@google.com> | 2011-09-21 13:45:48 -0700 |
|---|---|---|
| committer | John Reck <jreck@google.com> | 2011-09-21 13:45:48 -0700 |
| commit | bd6002b8c0c128b058995ad1ad2a75719de3d470 (patch) | |
| tree | ccceaa437f80203d0417c04c03080557f442777d /Source/WebCore/platform/android | |
| parent | a2ddd21f070651d1e10ef703c7841525ef556edc (diff) | |
| download | external_webkit-bd6002b8c0c128b058995ad1ad2a75719de3d470.zip external_webkit-bd6002b8c0c128b058995ad1ad2a75719de3d470.tar.gz external_webkit-bd6002b8c0c128b058995ad1ad2a75719de3d470.tar.bz2 | |
Increase default button padding
Bug: 5354009
12 for left/right
8 for top/bottom
Change-Id: Iec50b82b95d24b3a50c858017f52d52310c86ee9
Diffstat (limited to 'Source/WebCore/platform/android')
| -rw-r--r-- | Source/WebCore/platform/android/RenderThemeAndroid.cpp | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Source/WebCore/platform/android/RenderThemeAndroid.cpp b/Source/WebCore/platform/android/RenderThemeAndroid.cpp index c6e3bc5..7ef814e 100644 --- a/Source/WebCore/platform/android/RenderThemeAndroid.cpp +++ b/Source/WebCore/platform/android/RenderThemeAndroid.cpp @@ -212,9 +212,12 @@ void RenderThemeAndroid::adjustButtonStyle(CSSStyleSelector*, RenderStyle* style { // Code is taken from RenderThemeSafari.cpp // It makes sure we have enough space for the button text. - const int padding = 8; - style->setPaddingLeft(Length(padding, Fixed)); - style->setPaddingRight(Length(padding, Fixed)); + const int paddingHoriz = 12; + const int paddingVert = 8; + style->setPaddingLeft(Length(paddingHoriz, Fixed)); + style->setPaddingRight(Length(paddingHoriz, Fixed)); + style->setPaddingTop(Length(paddingVert, Fixed)); + style->setPaddingBottom(Length(paddingVert, Fixed)); // Set a min-height so that we can't get smaller than the mini button. style->setMinHeight(Length(15, Fixed)); |