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