Creare o modificare un file di configurazione personale

Il file di configurazione personale per la Gestione dello spazio di lavoro è DirectoryIniziale/.dt/dtwmrc. Questo file ha la precedenza rispetto a quello di sistema e a quello predefinito.

1. Fare doppio clic su “Modifica Dtwmrc” nel gruppo Strumenti_desktop.

   Se esiste già un file dtwmrc personale, esso verrà caricato nell'editor. Diversamente, il file sys.dtwmrc verrà copiato in DirectoryIniziale/.dt/dtwmrc e verrà quindi caricato nell'editor.

2. Modificare il file.

3. Uscire dall'editor.

   Il file verrà salvato come dtwmrc personale, indipendentemente dalla sua origine.