7.2.           Barra degli Strumenti Personalizzabile

è 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


www.geogebra.org