lomiri-notch-fixes

Lomiri patches for improved display notch and rounded corners support on phones.

Supported devices

• Volla Phone
• OnePlus 6/6T
• OnePlus 7 Pro
• Xiaomi Poco F1
• Xiaomi Redmi 7
• Xiaomi Redmi 9
• Xiaomi Redmi Note 7
• Xiaomi Redmi Note 9
• Xiaomi Redmi Note 9S

Applying the patch

Simply run the script in this repo as the phablet user:

wget -qO - https://git.io/J2sT7 | bash

Reversing the patch

You can just run the same apply-fixes.sh script again while answering y to each of the Assume -R? questions :)

Screenshots

Panel bar height & right side margin

Before patch	After patch

Panel menu top margin

Before patch	After patch

Window title left margin

Before patch
After patch