commit ea359c6aee44c0fe3bb94f7002c3b49208b32b7f
author Winson Chung <winsonc@google.com> Wed Aug 03 17:06:35 2011 -0700
committer Winson Chung <winsonc@google.com> Thu Aug 04 15:50:30 2011 -0700
tree d8fc92f2dd3eff26415b0bc8855f7714f819bc1a
parent 459814b7e6d6c9bb6b0569dcedb455f6fab3aa9c

Grid spacing fixes

- Restoring old grid for widgets
- Disabling ability to add widgets to hotseat
- Updating holo colors
- Updating assets

Change-Id: I3a639f0afeca9463f8079eb8fbaedf295a41fa0f

src/com/android/launcher2/PagedView.java

diff --git a/src/com/android/launcher2/PagedView.java b/src/com/android/launcher2/PagedView.java
index 48360fe..24feb41 100644
--- a/src/com/android/launcher2/PagedView.java
+++ b/src/com/android/launcher2/PagedView.java
@@ -432,6 +432,7 @@
         int maxChildHeight = 0;
 
         final int verticalPadding = mPaddingTop + mPaddingBottom;
+        final int horizontalPadding = mPaddingLeft + mPaddingRight;
 
 
         // The children are given the same width and height as the workspace
@@ -458,7 +459,7 @@
             }
 
             final int childWidthMeasureSpec =
-                MeasureSpec.makeMeasureSpec(widthSize, childWidthMode);
+                MeasureSpec.makeMeasureSpec(widthSize - horizontalPadding, childWidthMode);
             final int childHeightMeasureSpec =
                 MeasureSpec.makeMeasureSpec(heightSize - verticalPadding, childHeightMode);