Groupe d'espace
Qu’est-ce qu’un groupe d’espaces ?
Vous pouvez considérer les Spaces comme des dossiers. Nous avons introduit les Space Groups pour regrouper facilement les Spaces dans un Space Group.
Par défaut, vous disposez d’un Space Group appelé Spaces, et vous pouvez créer autant de Space Groups que nécessaire pour organiser votre workspace efficacement.
Comment créer et gérer des Space Groups
Créer un nouveau Space Group en utilisant le bouton Nouveau groupe d'espace
Renommer ou supprimer un Space Group depuis le menu à 3 points
SUPPRIMER - un Space Group doit être vide (ne contenant aucun Space) afin de pouvoir être supprimé
Réorganiser - les Space Groups peuvent être réorganisés en les faisant glisser et déposer à l’emplacement souhaité
Comment ajouter des Spaces à un Space Group
Il existe 3 façons d’ajouter un Space à un Space Group :
Créer un nouveau Space à l’intérieur du Space Group
Déplacer le Space vers le Space Group depuis le menu à 3 points du Space
Faire glisser et déposer le Space dans le Space Group
Le Space Group par défaut ESPACES ne peut pas être renommé ou supprimé pour le moment