Dictionnaires

Source

Figure 8. Onglet Source

Montre l'onglet Source

Pour ajouter un dictionnaire :

  1. Éditez la zone de saisie Nom.

  2. Choisissez un type de source dans la liste déroulante source.

  3. Choisissez entre Rechercher dans toutes les bases et Rechercher dans les bases sélectionnées.

  4. Modifiez les attributs de la source sélectionnée.

Des sources différentes ont des attributs différents. Voici la liste des attributs disponibles pour chaque type de source :

Source

Attributs

Liens connexes

Serveur de dictionnaire DICT

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

Port : le port du serveur de dictionnaire

Utilisateur : un nom d'utilisateur facultatif

Mot de passe : un mot de passe facultatif

dict.org

Fichier EDICT

Fichier : le chemin vers le fichier EDICT

Codage : le codage du fichier EDICT

EDICT

Traduction Google

aucun

 

Bases de données

Figure 9. Bases de données

Montre l'onglet Bases de données

Il est possible de sélectionner les bases de données à utiliser quand un mot est recherché avec le dictionnaire.

  1. Choisissez une ou plusieurs bases dans Bases de données disponibles.

  2. Déplacez-les dans Bases de données sélectionnées.

Polices

Figure 10. Onglet Polices

Montre l'onglet Polices

Pour modifier le nom ou la taille de la police utilisée pour afficher les résultats ou pour imprimer, suivez les étapes ci-dessous :

  1. Cliquez sur le bouton Polices.

  2. Sélectionnez la police et la taille souhaitées.

  3. Cliquez sur Valider.