| 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 56a25c85ad7f5b51c7f6555c2ed4d1435f6ea818..48e97f58c568fc8d874f86f293c51f5a8955310f 100644
|
| --- a/chrome/android/java/res/values/dimens.xml
|
| +++ b/chrome/android/java/res/values/dimens.xml
|
| @@ -55,6 +55,8 @@
|
| <!-- 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>
|
|
|
| <!-- Menu button dragging related dimensions -->
|
| <dimen name="auto_scroll_full_velocity">500dp</dimen>
|
|
|