Preferenze

Per cambiare le preferenze dell'applicazione Dizionario, scegliere Modifica ▸ Preferenze.

4.1. Sorgenti di dizionario

Figura 4Finestra di Dizionario

Per cambiare la sorgente dizionario utilizzata per ricercare le parole, selezionare la sorgente desiderata dalla lista.

4.2. Aggiungere una nuova sorgente

Figura 5Finestra di Dizionario

Per aggiungere una nuova sorgente dizionario, procedere come segue:

  1. Fare clic sul pulsante Aggiungi
  2. Modificare il nome della nuova sorgente all'interno del campo di inserimento Descrizione
  3. Cambiare il tipo di trasporto della nuova sorgente utilizzando la casella combinata Trasporto
  4. Modificare gli attributi della nuova sorgente
  5. Fare clic su Aggiungi

Differenti tipi di trasporto sorgente utilizzano differenti attributi. Questo è l'elenco degli attributi disponibili per tipo di trasporto:

Trasporto Attributi
Server di dizionario

Nome host: nome host del server di dizionario

Porta: la porta del server di dizionario

4.3. Rimuovere una sorgente

Per rimuovere una sorgente dizionario, procedere come segue:

  1. Selezionare la sorgente dizionario che si vuole rimuovere
  2. Fare clic sul pulsante Rimuovi

Se si rimuove una sorgente dizionario questa sarà eliminata permanentemente dall'elenco delle sorgenti disponibili. Inoltre, poiché qualche sorgente potrebbe essere definita a livello di sistema, si potrebbe non essere in grado di eliminarla fino a quando non si possiedono i giusti privilegi di possesso.

4.4. Opzioni di stampa

Figura 6Finestra di Dizionario

Se si vuole cambiare il tipo di carattere e la dimensione utilizzati quando si stampa, procedere come segue:

  1. Fare clic sul pulsante Carattere per stampa
  2. Selezionare il tipo di carattere e la grandezza che si vuole utilizzare
  3. Fare clic su OK