<?xml version="1.0" encoding="utf-8"?>
<page xmlns="http://projectmallard.org/1.0/" xmlns:e="http://projectmallard.org/experimental/" type="topic" style="task" id="substitution" xml:lang="it">

    <info>
        <link type="guide" xref="index#advanced"/>
        <desc>Sostituisci una famiglia di caratteri con un'altra</desc>
    </info>

    <title>Sostituzione</title>

    <p><app>Font Manager</app> permette di sostituire una famiglia di caratteri con un'altra.</p>

    <list>
        <item>
            <title>Per aggiungere un sostituto:</title>
            <steps>
                <item>
                    <p>
                    Open the <app>Font Manager</app> preferences dialog
                    by clicking
                    <gui>
                    <media type="image" src="media/open-menu.svg"/>
                    </gui>
                    at the top of the window and selecting Preferences from the menu.
                    </p>
                </item>
                <item>
                    <p>Seleziona "Sostituzioni" dalla barra laterale</p>
                </item>
                <item>
                    <p>Clicca su <gui> <media type="image" src="media/list-add-symbolic.svg"/> </gui> nel pannello delle sostituzioni.</p>
                </item>
                <item>
                    <p>Inserisci il nome della famiglia di caratteri per cui vuoi impostare un sostituto.</p>
                </item>
                <item>
                    <p>Clicca <gui> <media type="image" src="media/list-add-symbolic.svg"/> </gui> sulla destra.</p>
                </item>
                <item>
                    <p>Inserisci il nome della famiglia sostitutiva e seleziona il livello di priorità.</p>
                </item>
                <item>
                    <p>Ripeti i passaggi da 3 a 6 in base alle esigenze.</p>
                </item>
                <item>
                    <p>Al termine, fate clic su <gui style="button">Salva</gui> per scrivere il file di configurazione.</p>
                </item>
            </steps>
        </item>
        <item>
            <title>Per rimuovere un sostituto:</title>
            <steps>
                <item>
                    <p>
                    Open the <app>Font Manager</app> preferences dialog
                    by clicking
                    <gui>
                    <media type="image" src="media/open-menu.svg"/>
                    </gui>
                    at the top of the window and selecting Preferences from the menu.
                    </p>
                </item>
                <item>
                    <p>Seleziona "Sostituzioni" dalla barra laterale</p>
                </item>
                <item>
                    <p>Seleziona la voce che vuoi rimuovere dalla lista.</p>
                </item>
                <item>
                    <p>Clicca su <gui> <media type="image" src="media/list-remove-symbolic.svg"/> </gui> nel pannello delle sostituzioni.</p>
                </item>
                <item>
                    <p>Al termine, fate clic su <gui style="button">Salva</gui> per scrivere il file di configurazione.</p>
                </item>
            </steps>
        </item>
    </list>

    <note style="important">
        <p>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.</p>
        <p>Mentre le modifiche vengono applicate immediatamente le applicazioni aperte potrebbero dover essere riavviate.</p>
    </note>

</page>
