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

Commit 1f703aa0 authored by Treehugger Robot's avatar Treehugger Robot Committed by Android (Google) Code Review
Browse files

Merge "Fix rounded corner padding for external displays" into main

parents 39f1955f 264e4e42
Loading
Loading
Loading
Loading
+5 −0
Original line number Diff line number Diff line
@@ -465,6 +465,11 @@
    <!-- the padding on the top of the statusbar (usually 0) -->
    <dimen name="status_bar_padding_top">0dp</dimen>

    <!-- The padding used in case there are no rounded corners. -->
    <dimen name="status_bar_padding_without_rounded_corners">
        @dimen/ongoing_appops_dot_min_padding
    </dimen>

    <!-- the radius of the overflow dot in the status bar -->
    <dimen name="overflow_dot_radius">2sp</dimen>

+4 −2
Original line number Diff line number Diff line
@@ -340,8 +340,10 @@ constructor(
                // Display#getRoundedCorner) and a padding value. The proper way of doing this is
                // using safe insets, that take this into account already.
                // For now, as external displays with corner radius are extremely uncommon, we're
                // just returning zero.
                0
                // just returning an hardcoded small padding.
                rotatedResources.getDimensionPixelSize(
                    R.dimen.status_bar_padding_without_rounded_corners
                )
            }
        val minDotPadding =
            if (isPrivacyDotEnabled)