commit 410f3cdfb4a8c2cf82749a3e73201fb7930540ae
author Adam Cohen <adamcohen@google.com> Sun Sep 22 12:09:32 2013 -0700
committer Adam Cohen <adamcohen@google.com> Sun Sep 22 17:41:40 2013 -0700
tree 76cce025d072353d887c499b17a09b4f13b48eda
parent e67ccac004416d78d37968f60fe68f3bac6d33c1

Getting the Overview Mode to look up to spec

-> New assets, text, fonts
-> New spacing of pages (translated upwards)
-> Updated outline color to white (the ones we're drawing)

Change-Id: Ie664ac0598ae18b86ae6d54d1d6b497c13d2ee95

src/com/android/launcher3/PagedView.java

diff --git a/src/com/android/launcher3/PagedView.java b/src/com/android/launcher3/PagedView.java
index 763dfa1..31a9797 100644
--- a/src/com/android/launcher3/PagedView.java
+++ b/src/com/android/launcher3/PagedView.java
@@ -111,6 +111,7 @@
     protected float mTouchX;
 
     protected boolean mFirstLayout = true;
+    private int mNormalChildHeight;
 
     protected int mCurrentPage;
     protected int mRestorePage = -1;
@@ -722,6 +723,10 @@
         super.addView(page, 0, lp);
     }
 
+    public int getNormalChildHeight() {
+        return mNormalChildHeight;
+    }
+
     @Override
     protected void onMeasure(int widthMeasureSpec, int heightMeasureSpec) {
         if (!mIsDataReady || getChildCount() == 0) {
@@ -739,6 +744,7 @@
         // viewport, we can be at most one and a half screens offset once we scale down
         DisplayMetrics dm = getResources().getDisplayMetrics();
         int maxSize = Math.max(dm.widthPixels, dm.heightPixels + mInsets.top + mInsets.bottom);
+
         int parentWidthSize, parentHeightSize;
         int scaledWidthSize, scaledHeightSize;
         if (mUseMinScale) {
@@ -804,6 +810,7 @@
 
                 childWidth = widthSize - horizontalPadding;
                 childHeight = heightSize - verticalPadding - mInsets.top - mInsets.bottom;
+                mNormalChildHeight = childHeight;
 
             } else {
                 childWidthMode = MeasureSpec.EXACTLY;