Dialogue Gestion Outils

Possibilité de sauvegarder le(s) outil(s) utilisateur afin de pouvoir le(s) réutiliser dans d’autres constructions GeoGebra.

Dans le Menu Outils, choisir Menu Properties.png 'Gérer les outils' pour ouvrir la fenêtre de dialogue.

Cette fenêtre de dialogue permet pour le ou les outils sélectionnés dans la liste qui est apparue :

  • les Effacer pour effacer le ou les outils sélectionnés du fichier courant ;

  • les Ouvrir ;

Dans ce cas, s’ouvre une nouvelle fenêtre GeoGebra pour chacun des outils, les objets initiaux y sont listés en tant qu’objets libres. Une fois les modifications effectuées, sauvegarder l’outil par l’option Menu Create Tool.png 'Créer un nouvel outil' du menu Outils. Conserver l’ancien nom pour remplacer l’ancien outil, dans ce cas, si l’outil est déjà utilisé, les types des objets initiaux et finaux doivent être les mêmes que pour l’outil initial.

  • les Sauvegarder : pour enregistrer le ou les outils sélectionnés sur votre ordinateur ;

  • les Partager : pour téléverser le ou les outils sélectionnés sur GeoGebra.

Les outils utilisateurs sont enregistrés dans des fichiers ayant pour extension 'ggt' afin d’être différenciés des habituels fichiers GeoGebra('ggb').