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 de les :

  • Effacer du fichier courant ;

  • 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.

  • Sauvegarder sur votre ordinateur ;

  • Partager : pour téléverser 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).