Finestra di dialogo Gestione strumenti

Da GeoGebra Manual.

È possibile salvare gli strumenti creati dagli utenti in modo da poterli riutilizzare in altre costruzioni di GeoGebra. Nel Menu-tools.svg menu Strumenti, selezionare Menu-tools.svg Organizza strumenti per aprire la relativa finestra di dialogo, quindi selezionare dall'elenco lo strumento personalizzato che si desidera salvare. Fare clic con il mouse sul pulsante Salva con nome… per salvare localmente lo strumento personalizzato.

Note: Gli strumenti creati dagli utenti vengono salvati in file con estensione GGT, in modo tale che possano essere distinti dai file standard di GeoGebra (GGB).

Questa finestra di dialogo consente inoltre di rimuovere o modificare gli strumenti. Quando si modifica uno strumento, viene visualizzata una nuova pagina di GeoGebra, nella quale gli oggetti iniziali sono elencati come oggetti liberi. Al termine delle modifiche, è possibile salvare lo strumento selezionando l'opzione Menu-tools-new.svg Crea nuovo strumento nel Menu-tools.svg menu Strumenti. Se si mantiene il nome originale, il file dello strumento verrà sovrascritto. Per sovrascrivere uno strumento già utilizzato, i tipi di oggetti iniziali e finali devono rimanere uguali.

© 2020 International GeoGebra Institute