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 6115df6..9a18433 100644 (file)
--- 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);
             }
         }