è possibile personalizzare gli strumenti della Barra degli Strumenti di GeoGebra selezionando Personalizza Barra degli Strumenti nel menu Strumenti. Questa caratteristica è particolarmente utile per i fogli di lavoro dinamici qualora fosse necessario limitare il numero degli strumenti disponibili nella barra degli strumenti.
Nota: Le impostazioni correnti della barra degli strumenti vengono salvate con la costruzione in un file “ggb”.
Argomenti correlati
7. Strumenti e Barra degli Strumenti