Sostituisci una famiglia di caratteri con un'altra

# Sostituzione

Font Manager permette di sostituire una famiglia di caratteri con un'altra.

# Per aggiungere un sostituto:

Open the Font Manager preferences dialog by clicking at the top of the window and selecting Preferences from the menu.

Seleziona "Sostituzioni" dalla barra laterale

Clicca su nel pannello delle sostituzioni.

Inserisci il nome della famiglia di caratteri per cui vuoi impostare un sostituto.

Clicca sulla destra.

Inserisci il nome della famiglia sostitutiva e seleziona il livello di priorità.

Ripeti i passaggi da 3 a 6 in base alle esigenze.

Al termine, fate clic su Salva per scrivere il file di configurazione.

# Per rimuovere un sostituto:

Open the Font Manager preferences dialog by clicking at the top of the window and selecting Preferences from the menu.

Seleziona "Sostituzioni" dalla barra laterale

Seleziona la voce che vuoi rimuovere dalla lista.

Clicca su nel pannello delle sostituzioni.

Al termine, fate clic su Salva per scrivere il file di configurazione.

I tipi di carattere corrispondenti alla famiglia di destinazione vengono modificati per anteporre l'elenco delle famiglie preferite prima della famiglia corrispondente, aggiungere le famiglie accettabili dopo la famiglia corrispondente e aggiungere le famiglie predefinite alla fine dell'elenco delle famiglie.

Mentre le modifiche vengono applicate immediatamente le applicazioni aperte potrebbero dover essere riavviate.