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 ().