diff options
author | cretin45 <cretin45@gmail.com> | 2016-01-04 12:48:59 -0800 |
---|---|---|
committer | Tom Powell <zifnab@zifnab06.net> | 2017-03-26 16:13:55 -0700 |
commit | c362c7c38db40649675ab85363c455abd6d580c1 (patch) | |
tree | 333b31e5bccdef9eb2bb2a473d79c12f7951ef97 /src | |
parent | e461793b6c2fec4ba3bd154be83f670a7a09ff92 (diff) | |
download | android_packages_apps_Trebuchet-c362c7c38db40649675ab85363c455abd6d580c1.tar.gz android_packages_apps_Trebuchet-c362c7c38db40649675ab85363c455abd6d580c1.tar.bz2 android_packages_apps_Trebuchet-c362c7c38db40649675ab85363c455abd6d580c1.zip |
Trebuchet: Fix page indicator bottom padding on setting change
Issue-id: CYNGNOS-1423
Change-Id: I1e5f21a215d9a8ba1679a1c700dd326ffc1441ac
Diffstat (limited to 'src')
-rw-r--r-- | src/com/android/launcher3/DeviceProfile.java | 2 |
1 files changed, 1 insertions, 1 deletions
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); } } |