Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit 35c8be06 authored by Mindy Pereira's avatar Mindy Pereira
Browse files

Use getDimensionPixel size instead of casting to an int. 

Change-Id: I907c8be25bd4cf0fefc2bb4e0282db2d136da099
parent e587d838

core/java/android/preference/PreferenceFrameLayout.java

+10 −4
Original line number Diff line number Diff line
@@ -45,12 +45,18 @@ public class PreferenceFrameLayout extends FrameLayout { 
        TypedArray a = context.obtainStyledAttributes(attrs,

                com.android.internal.R.styleable.PreferenceFrameLayout, defStyle, 0);



        mTopPadding = (int) a.getDimension(

        float density = context.getResources().getDisplayMetrics().density;

        int defaultTopPadding = (int) (density * DEFAULT_TOP_PADDING + 0.5f);

        int defaultBottomPadding = (int) (density * DEFAULT_BOTTOM_PADDING + 0.5f);



        mTopPadding = a.getDimensionPixelSize(

                com.android.internal.R.styleable.PreferenceFrameLayout_topPadding,

                DEFAULT_TOP_PADDING);

        mBottomPadding = (int) a.getDimension(

                defaultTopPadding);

        mBottomPadding = a.getDimensionPixelSize(

                com.android.internal.R.styleable.PreferenceFrameLayout_bottomPadding,

                DEFAULT_BOTTOM_PADDING);

                defaultBottomPadding);







        a.recycle();

    }