Dopo avere creato uno strumento personalizzato, se si apre una nuova interfaccia di GeoGebra facendo clic su ‘Nuovo’ nel menu File, il nuovo strumento verrà visualizzato nella barra degli strumenti. Invece aprendo una nuova finestra di GeoGebra con ‘Nuova finestra’ nel menu File, oppure aprendo GeoGebra in un giorno successivo, lo strumento personalizzato non sarà più visualizzato nella barra degli strumenti.
Per fare in modo che gli strumenti definiti dall'utente vengano sempre visualizzati nella barra degli strumenti di GeoGebra, si può procedere in vari modi:
·
Dopo avere creato un nuovo
strumento definito dall'utente, salvare le
impostazioni selezionando ‘Salva impostazioni’
nel menu Opzioni. Da questo momento
in poi lo strumento personalizzato farà parte della barra degli strumenti di
GeoGebra.
Nota: È possibile rimuovere lo strumento personalizzato dalla barra
degli strumenti: selezionare ‘Personalizza barra
degli strumenti…’ nel menu Strumenti,
quindi selezionare lo strumento personalizzato dall'elenco di strumenti
presente a sinistra, nella finestra di dialogo visualizzata, e fare clic sul
pulsante ‘Rimuovi >’. Non dimenticare di salvare le impostazioni dopo avere
rimosso lo strumento personalizzato.
·
Salvare
uno strumento personalizzato nel computer (come file ‘.ggt’) consente la
successiva importazione dello stesso in una nuova finestra qualsiasi di
GeoGebra: basta selezionare ‘Apri’ nel menu File ed aprire il file dello strumento
personalizzato.
Nota: L'apertura di un file strumento in un file di GeoGebra non ha
effetto sulla costruzione corrente: si limita ad aggiungere lo strumento alla barra
degli strumenti.