Réinitialiser un playground dans Swift Playgrounds sur iPad
Dans certains playgrounds dans Swift Playgrounds, tu peux réinitialiser les modifications qui tu as apportées au playground, jusqu’au point de départ. Cela s’avère particulièrement utile si tu veux réessayer un défi que tu as déjà terminé ou laisser un ami l’essayer. Tu peux réinitialiser la page actuelle ou toutes les pages d’un playground.
Remarque : Dans un playground créé à partir avec le bouton Playground sur l’écran « Mes playgrounds », tu ne peux pas réinitialiser les modifications. Pour recommencer, tu peux créer un autre playground en touchant de nouveau le bouton Playground, puis en renommant le nouveau playground.
Réinitialiser une page d’un playground
la réinitialisation d’une page entraîne l’annulation des modifications apportées au code que tu as effectuées sur la page et rétablit l’état d’origine de cette dernière. Dans un playground qui prend en charge les modules d’utilisateur, la réinitialisation d’une page entraîne celle du code contenu dans le fichier Swift principal sur la page actuelle (dans l’onglet affichant en haut), mais pas celle des fichiers Swift partagés dans le playground.
Dans l’app Swift Playgrounds sur ton iPad, accède à la page que tu veux réinitialiser.
Touche au-dessus de la zone de codage, puis choisis « Recommencer la page ».
Réinitialiser un playground
La réinitialisation d’un playground entraîne la suppression du code et des images que tu as ajoutées et rétablit l’état d’origine du playground. Dans un playground qui prend en charge les modules d’utilisateur, la réinitialisation d’un playground entraîne la suppression des modules et des fichiers que tu as ajoutés au playground et supprime les modifications que tu as apportées au code des fichiers Swift qui étaient inclus dans le playground.
Dans l’app Swift Playgrounds sur ton iPad, accède à l’écran « Mes playgrounds ».
Si tu te trouves sur l’écran « Plus de playgrounds », touche en haut à gauche.
Si tu travailles sur un playground, touche en haut à gauche.
Touche Sélectionner en haut à droite.
Sélectionne le playground que tu veux réinitialiser, touche en haut à gauche, puis touche Réinitialiser.
Remarque : si est grisé, il se peut que tu sois dans un playground créé à partir du bouton Playground de l’écran « Mes playgrounds », qui ne peut pas être réinitialisé.