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 avec la liste déroulante source.

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

  4. Éditer 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 source :

Source

Attributs

Liens connexes

Serveur de dictionnaire DICT

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

Port : le port du serveur

Utilisateur : un nom d'utilisateur facultatif

Mot de passe : un mot de passe facultatif

dict.org

Fichier EDICT

Fichier : le chemin du fichier EDICT

Encodage : l'encodage 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éplacer les dans Bases de données sélectionnées.

Polices

Figure 10. Onglets Polices

Montre l'onglet Polices

Pour changer le nom ou la taille de la police utilisée pour afficher les résultats ou 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 Ok.