Personalizzare i dizionari temporanei

La finestra dedicata alla personalizzazione dei dizionari temporanei costituisce uno strumento idoneo per gestire con efficacia l'insieme dei dizionari temporanei creati in determinati contesti. Un dizionario temporaneo rappresenta un contenitore specifico, strettamente associato a un solo documento e non condiviso con altre fonti. Esso viene creato automaticamente, non appena viene aggiunto un termine temporaneo all'interno di un documento. Ciascun dizionario temporaneo è identificato mediante il nome del documento da cui è stato generato.

La finestra di personalizzazione dei dizionari temporanei consente all'utente di svolgere diverse azioni, tra cui l'eliminazione di uno o più dizionari temporanei, l'apertura delle proprietà di un dizionario temporaneo e la possibilità di svuotare l'intero elenco. Il menù contestuale associato all'elenco dei dizionari temporanei permette di accedere ai medesimi comandi dei pulsanti presenti sul lato destro della finestra, offrendo così un'ulteriore modalità per gestire i dizionari temporanei.