Salve, solo a titolo informativo, come si cambia font?
Andando su Impostazioni->Display->Carattere di sistema
mi da solo il font di Default senza possibilità di cambiarlo... quindi mi sono detto, se c'è l'opzione, c'è il modo...
Facendo una ricerca devi andare su Temi e cliccando sull'icona a forma di omino, selezioni "Personalizza temi" e li, a detta loro, c'è per cambiare il font, ma da me non c'è.
Unica differenza e che loro usavano nella guida la GlobalROM io la ROM di xiaomi.eu, potrebbe essere questo il motivo dell'impossibilità di cambiare font o la versione eu sta da altra parte?