I tried some of the Android 9 and 10 roms. (Pixel experience plus, superior os, havoc and Lineage 17). I still had the best, smoothest gaming performance with Xiaomi-eu so I reverted back to it.
I'm on MIUIv10.3 STABLE with my MiPad 4
I like to use a floating volume button that pops up when audio is playing. (e.g. "Volume Dot" from google play)
floating apps need to allow overlay - but my MiPad doesn't keep my selection.
I tried to manually allow this in system settings too.
After a...