Un piccolo trick: forse è noto per i MIUI-isti di lunga data, ma io non lo sapevo.
Impostando la Region a India, nel menu Display compare una voce "Font", con cui è possibile modificare il font di sistema scegliendo tra una vasta quantità di alternative.
Una volta impostato il font, si può rimettere la Region a Italia: la voce di menu scompare ma comunque il font impostato rimane.
|