Preferenze di default
Le preferenze di default di DR. GEO possono essere configurate
in più modi. Per parametrizzare le preferenze
si accede al menu Modifica -> Preferenze e si
apre la seguente finestra di dialogo:
Preferenze globali
La finestra di dialogo è articolata in due sezioni:
- La prima sezione riguarda le preferenze relative
agli oggetti geometrici e permette di modificare
l'aspetto di ciascuno di essi;
- La seconda sezione permette di modificare
alcune preferenze globali come:
- il numero di oggetti cancellati per errore e ricostruibili
utilizzando il comando Annulla/Rifai;
- il nome di default che si attiva ogni volta che un dato
oggetto viene costruito. Il %d viene rimpiazzato da un
numero intero generato da DR. GEO;
questo valore viene incrementato di una unità ad
ogni nuova costruzione di un oggetto dello stesso tipo;
- i nomi di default per l'esportazione in formato
LaTeX e PostScript ;
Hai domande o commenti da fare?
Vuoi partecipare alla stesura di parti di questo manuale?
-> Contatta Andrea Centomo all'OFSET (acentomo at ofset dot org) o
aggiungiti alla lista per la diffusione di DR. GEO.