Uso gnome e in Sistema->Preferenze->Aspetto->Tipi di carattere->Avanzate ho visto che è possibile cambiare i dpi con la quale vengono visualizzati i caratteri. Di default mi sembra sia 96 dpi: ha senso cambiare quell'impostazione se si vogliono vedere più grandi oppure conviene per ogni tipologia di carattere aumentarne la risoluzione? Grazie mille Piviul