Manuale di Dr. Geo -- Preferenze di default

|  |  | Preferenze di default |

### 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:

1. La prima sezione riguarda le preferenze relative agli oggetti geometrici e permette di modificare l'aspetto di ciascuno di essi;
2. 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 ;

|  |  | Preferenze di default |