Personnaliser les dictionnaires temporaires
La fenêtre dédiée à la personnalisation des dictionnaires temporaires constitue un outil approprié pour gérer efficacement l'ensemble des dictionnaires temporaires créés dans des contextes déterminés. Un dictionnaire temporaire représente un conteneur spécifique, strictement associé à un seul document et non partagé avec d'autres sources. Il est créé automatiquement, dès qu'un terme temporaire est ajouté dans un document. Chaque dictionnaire temporaire est identifié par le nom du document à partir duquel il a été généré.
La fenêtre de personnalisation des dictionnaires temporaires permet à l'utilisateur d'effectuer plusieurs actions, parmi lesquelles la suppression d'un ou plusieurs dictionnaires temporaires, l'ouverture des propriétés d'un dictionnaire temporaire et la possibilité de vider toute la liste. Le menu contextuel associé à la liste des dictionnaires temporaires permet d'accéder aux mêmes commandes que les boutons présents sur le côté droit de la fenêtre, offrant ainsi une modalité supplémentaire pour gérer les dictionnaires temporaires.