Préférences

Pour modifier les préférences de l'application Dictionnaire, choisissez Édition ▸ Préférences.

IV.I. Sources de dictionnaires

Figure 4 Fenêtre du Dictionnaire

Pour modifier la source du dictionnaire utilisé pour rechercher des mots, sélectionnez la source souhaitée dans la liste.

IV.II. Ajout d'une nouvelle source de dictionnaire

Figure 5 Fenêtre du Dictionnaire

Pour ajouter une nouvelle source de dictionnaire, effectuez les opérations suivantes :

  1. Cliquez sur le bouton Ajouter.
  2. Saisissez le nom de la nouvelle source dans le champ Description.
  3. Modifiez le type de transport de la nouvelle source dans la liste déroulante Transport.
  4. Modifiez les attributs de la nouvelle source.
  5. Cliquez sur Ajouter.

Différents types de transport de source utilisent des attributs différents. Voici la liste des attributs disponibles pour chaque type de transport :

Transport Attributs
Serveur de dictionnaire

Nom d'hôte : le nom d'hôte du serveur de dictionnaire

Port : le port du serveur de dictionnaire

IV.III. Suppression d'une source

Pour supprimer une source de dictionnaire, effectuez les opérations suivantes :

  1. Sélectionnez la source à supprimer.
  2. Cliquez sur le bouton Enlever.

Si vous enlevez une source de dictionnaire, elle sera définitivement supprimée de la liste des ressources disponibles. D'autre part, comme certaines sources sont définies au niveau du système, il est possible que vous ne puissiez pas l'enlever si vous ne disposez pas des privilèges nécessaires.

IV.IV. Options d'impression

Figure 6 Fenêtre du Dictionnaire

Si vous désirez modifier le nom de la police et la taille utilisée pour l'impression, effectuez les opérations suivantes :

  1. Cliquez sur le bouton Police d'impression.
  2. Sélectionnez la police et la taille de caractères de votre choix.
  3. Cliquez sur Valider.