Guide d’utilisation d’Antidote

Guide d’utilisation / Dictionnaires / Listes de favoris

Listes de favoris des dictionnaires

Le menu des favoris (le chevron vers le bas associé au à droite de la vedette) regroupe vos entrées de dictionnaire préférées pour un accès rapide. Pour ajouter aux favoris l’entrée en cours de consultation, cliquez sur le bouton des favoris (). Ce choix vous est aussi offert dans le menu des favoris, grâce à l’option Ajouter à la liste. Vos entrées favorites sont ensuite accessibles par le menu des favoris.

Pour retirer une entrée de la liste des favoris, faites afficher cette entrée en vedette, puis cliquez sur le bouton des favoris, ou accédez à la fenêtre Favoris en sélectionnant Modifier dans le menu des favoris. Dans la fenêtre qui s’ouvre, sélectionnez dans le panneau de gauche l’option Favoris qui figure à la section Dictionnaires, sélectionnez à droite la ou les entrées à retirer, cliquez sur le bouton en haut à droite, puis choisissez l’option Supprimer la sélection. Confirmez la suppression dans le dialogue d’avertissement, ou annulez-la en cas de manipulation accidentelle. L’option Tout effacer permet quant à elle de supprimer toutes les entrées de la liste à la fois.

La gestion des favoris peut aussi se faire en cliquant sur l’icône  dans la barre de navigation.

Listes de mots personnalisées

Il est également possible de créer des listes de mots personnalisées. Pour ce faire, choisissez l’option Ajouter une liste dans le menu des favoris. Il vous sera demandé de donner un titre à cette liste.

Une fois la liste créée, pour y ajouter une entrée en cours de consultation, cliquez sur le menu des favoris, sélectionnez l’option Ajouter à la liste, puis choisissez dans le menu déroulant offert la liste à laquelle vous voulez ajouter le mot. La liste et son contenu seront ensuite accessibles par le menu des favoris.

Pour retirer une entrée d’une liste personnalisée, faites afficher cette entrée en vedette, puis cliquez sur le bouton des favoris, ou accédez à la fenêtre Favoris en cliquant sur Modifier dans le menu des favoris. Dans cette fenêtre, après avoir sélectionné votre liste, vous pouvez sélectionner et supprimer plus d’un mot à la fois ; utilisez à cet effet l’option Supprimer la sélection du menu à droite dans la barre supérieure de l’écran.

La gestion de ces listes peut aussi se faire en cliquant sur l’icône  dans la barre de navigation.

Aucun résultat trouvé