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 1a900f037174001fad13c7d404549f133bfbad81..72172f29d3cc0a529e70aaeb9335fe2e2cec5382 100644 |
--- a/chrome/android/java/res/values/dimens.xml |
+++ b/chrome/android/java/res/values/dimens.xml |
@@ -17,6 +17,7 @@ |
<!-- Custom Menu dimensions --> |
<dimen name="menu_width">258dp</dimen> |
+ <dimen name="menu_software_vertical_offset">0dp</dimen> |
<!-- 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> |