Con el launcher de xiaomi o con otro de terceros,  padadovun tiempo,  desaparecen iconos del escritorio y el dock y hay qué volver a configurarlo una y otra vez.