Préférences

Pour modifier les préférences, choisissez ÉditionPréférences.

Dictionnaires

Figure 5. Onglet Dictionnaires

Montre l'onglet Dictionnaires

Pour ajouter un dictionnaire, choisissez Ajouter.

Pour modifier un dictionnaire existant, sélectionnez le dictionnaire désiré et choisissez Propriétés. Pour supprimer un dictionnaire existant, choisissez Supprimer.

Avertissement

Quand un dictionnaire est supprimé, il l'est de façon permanente.

Pour de plus amples détails, voir la section dictionnaires.

Démarrage

Figure 6. Onglet Démarrage

Montre l'onglet Démarrage

Serveur mandataire

Figure 7. Onglet Serveur mandataire

Montre l'onglet Serveur mandataire

Pour configurer un serveur mandataire (« proxy ») :

  1. Choisissez le type de serveur mandataire.

  2. Activez la case à cocher d'activation du serveur mandataire.

  3. Configurez les champs requis.