From: cretin45 <cretin45@gmail.com>
Date: Mon, 4 Jan 2016 20:48:59 +0000 (-0800)
Subject: Trebuchet: Fix page indicator bottom padding on setting change
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=2be1306db542d11c4516fb29f2adce08f4c32e7d;p=android-x86%2Fpackages-apps-Trebuchet.git

Trebuchet: Fix page indicator bottom padding on setting change

Issue-id: CYNGNOS-1423

Change-Id: I1e5f21a215d9a8ba1679a1c700dd326ffc1441ac
---

diff --git a/src/com/android/launcher3/DeviceProfile.java b/src/com/android/launcher3/DeviceProfile.java
index 6115df62f..9a184333e 100644
--- a/src/com/android/launcher3/DeviceProfile.java
+++ b/src/com/android/launcher3/DeviceProfile.java
@@ -491,7 +491,7 @@ public class DeviceProfile {
                 lp.gravity = Gravity.CENTER_HORIZONTAL | Gravity.BOTTOM;
                 lp.width = LayoutParams.WRAP_CONTENT;
                 lp.height = LayoutParams.WRAP_CONTENT;
-                lp.bottomMargin = hotseatBarHeightPx;
+                lp.bottomMargin = Math.max(hotseatBarHeightPx , lp.bottomMargin);
                 pageIndicator.setLayoutParams(lp);
             }
         }