GRACIAS!!! yo mismo he echado de menos algo así y esas mismas cuestiones las tuve que preguntar por aquí cuando llegue a MiUI.
Ya se me había ocurrido hacer uno de mis apartados de TIPs de MIUI, para precisamente desvelar estas opciones tan útiles, y un tanto escondidas.
Muy útil, gracias.