Gestore Proprietà
Descrizione
Apre il gestore delle proprietà dal quale è possibile modificare le variabili relative alle proprietà di documento.
Utilizzo
E' possibile selezionare un valore da menù a tendina e poi tramite il pulsante è possibile aggiungerlo alla lista dei valori della proprietà selezionata. E tramite il pulsante è possibile cancellare il valore dalla lista.
File
Salva
Permette di salvare le modifiche apportate. Il pulsante non è attivo se non ci sono modifiche appese da salvare.
Esci
Chiude il dialogo del gestore delle proprietà.
Strumenti
Esporta
Permette di esportare, su un file txt, la lista dei valori della proprietà selezionata. Il pulsante non è attivo se non ci sono valori.
Importa
Permette di importare, da un file txt, una lista di valori. Per le proprietà 'Root di inclusione' e 'Root di esclusione' non saranno importati valori non presenti nelle ROOT.
Leggi proprietà
Permette di aggiungere, tramite il dialogo nell'immagine seguente, delle nuove proprietà alla 'Proprietà di inclusione' leggendole da un documento () o da documenti presenti in una cartella ().