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> |