diff options
author | Joe Onorato <joeo@google.com> | 2010-09-30 18:18:00 -0700 |
---|---|---|
committer | Android (Google) Code Review <android-gerrit@google.com> | 2010-09-30 18:18:00 -0700 |
commit | 0585a6112da1270350ff26dc285140c5023ecf86 (patch) | |
tree | f03c4936f32f9e016b9686e098a16cfe4a4fed28 /res | |
parent | ebb14cc1ac5fa9ed0352fd7e820d4807137765f4 (diff) | |
parent | 658db74c24817892f1a379b16620744f38f60e40 (diff) | |
download | android_packages_apps_Trebuchet-0585a6112da1270350ff26dc285140c5023ecf86.tar.gz android_packages_apps_Trebuchet-0585a6112da1270350ff26dc285140c5023ecf86.tar.bz2 android_packages_apps_Trebuchet-0585a6112da1270350ff26dc285140c5023ecf86.zip |
Merge "the scroll drag area was too small, and should have come from a resource anyway."
Diffstat (limited to 'res')
-rw-r--r-- | res/values/dimens.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/res/values/dimens.xml b/res/values/dimens.xml index 790f83599..c83986be2 100644 --- a/res/values/dimens.xml +++ b/res/values/dimens.xml @@ -37,4 +37,8 @@ <!-- delete_zone_size_full - button_bar_height_portrait --> <dimen name="delete_zone_padding">14dip</dimen> + + <!-- the area at the edge of the screen that makes the workspace go left + or right while you're dragging. --> + <dimen name="scroll_zone">20dp</dimen> </resources> |