From 2be1306db542d11c4516fb29f2adce08f4c32e7d Mon Sep 17 00:00:00 2001
From: cretin45 <cretin45@gmail.com>
Date: Mon, 4 Jan 2016 12:48:59 -0800
Subject: Trebuchet: Fix page indicator bottom padding on setting change

Issue-id: CYNGNOS-1423

Change-Id: I1e5f21a215d9a8ba1679a1c700dd326ffc1441ac
---
 src/com/android/launcher3/DeviceProfile.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/com/android')

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);
             }
         }
-- 
cgit v1.2.3