| Index: chrome/android/java/res/values/dimens.xml
|
| diff --git a/chrome/android/java/res/values/dimens.xml b/chrome/android/java/res/values/dimens.xml
|
| index 314fa0f665a1edde0af5401c300e75c3d1b16f15..997efe56826c1ef4be67f832d1acbe874a256a0b 100644
|
| --- a/chrome/android/java/res/values/dimens.xml
|
| +++ b/chrome/android/java/res/values/dimens.xml
|
| @@ -55,8 +55,7 @@
|
| <!-- The amount to fade the edges of the menu to indicate more content is available
|
| via scrolling. -->
|
| <dimen name="menu_vertical_fade_distance">15dp</dimen>
|
| - <dimen name="menu_badge_size">16dp</dimen>
|
| - <dimen name="menu_badge_background_size">17dp</dimen>
|
| + <dimen name="menu_badge_translation_y_distance">6dp</dimen>
|
|
|
| <!-- Menu button dragging related dimensions -->
|
| <dimen name="auto_scroll_full_velocity">500dp</dimen>
|
|
|