Renommage d'un environnement d'initialisation inactif (interface graphique)

1. Sélectionnez Rename dans le menu principal.

2. Indiquez l'environnement d'initialisation que vous souhaitez renommer, puis le nouveau nom.

3. Appuyez sur F3 pour enregistrer les modifications.