¿Dónde está la opción de ocultar el notch? No la encuentro. Tengo entendido que desde MIUI 10 esa opción desapareció.
Sobre el ajuste del notch, abre la app YouTube y verás que el color de la parte del notch se extiende un poco más abajo del notch, no está exactamente ajustado al borde inferior del notch. Hay gente a la que eso le molesta y se han desarrollado parches para ajustarlo exactamente.
