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 -- Per REVOCARE l'iscrizione alla lista, inviare un email a [email protected] con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a [email protected] To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

