Merge pull request #544 from vitalitk/pie

M31: Add display cutout and make the rounded corners bigger
This commit is contained in:
Pierre-Hugues HUSSON 2022-05-13 00:00:34 +02:00 committed by GitHub
commit be32cd4f01
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -601,9 +601,10 @@
<dimen name="status_bar_height_portrait">63px</dimen>
<dimen name="status_bar_height">63px</dimen>
<dimen name="status_bar_height_landscape">24dp</dimen>
<dimen name="rounded_corner_radius_top">75.0px</dimen>
<dimen name="rounded_corner_radius_bottom">75.0px</dimen>
<dimen name="rounded_corner_radius">10.0px</dimen>
<dimen name="rounded_corner_radius_top">78.0px</dimen>
<dimen name="rounded_corner_radius_bottom">78.0px</dimen>
<dimen name="rounded_corner_radius">50.0px</dimen>
<string name="config_mainBuiltInDisplayCutout">M36.95,0C26.35,0,24.15,3.8,23.15,9.8 l-0.1,0.7c-1.7,9.6-9.3,17.2-18.9,18.9c-12.7,2.2-24.8-6.2-27-18.9 c0,0-0.1-0.7-0.1-0.7C-24.15,3.8,-26.25,0,-36.95,0Z @dp</string>
<bool name="config_automatic_brightness_available">true</bool>
<bool name="config_dozeAlwaysOnDisplayAvailable">true</bool>