Personalizar diccionarios temporales

La ventana dedicada a la personalización de diccionarios temporales constituye una herramienta idónea para gestionar eficazmente el conjunto de diccionarios temporales creados en determinados contextos. Un diccionario temporal representa un contenedor específico, estrictamente asociado a un solo documento y no compartido con otras fuentes. Se crea automáticamente, tan pronto como se añade un término temporal dentro de un documento. Cada diccionario temporal se identifica mediante el nombre del documento del que se ha generado.

La ventana de personalización de diccionarios temporales permite al usuario llevar a cabo diversas acciones, entre ellas la eliminación de uno o más diccionarios temporales, la apertura de las propiedades de un diccionario temporal y la posibilidad de vaciar la lista completa. El menú contextual asociado a la lista de diccionarios temporales permite acceder a los mismos comandos de los botones presentes en el lado derecho de la ventana, ofreciendo así una modalidad adicional para gestionar los diccionarios temporales.