[WuEpE]

Supongo que rooteando, y cambiando la fuente del sistema, o usando otro launcher se podria arreglar...
Pero por ahora no necesito ser root, y el launcher de miui no me desagrada... Así que a esperar haber si con el update a android 10, se arregla...