| 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 da9a429fe38c3d2e96b2d6c2d1efc16c53f87efc..8817defffb57d74e161f62bf8b5624a31802682a 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>
|
|
|