Ciao. Sto facendo la migrazione a gnome, ma non riesco a settare i dpi dello schermo, cosa che comporta caratteri molto grandi. Dove devo impostare questa opzione?