Les espaces de travail dans la barre latérale peuvent être regroupés sous une section parente nommée, au lieu de tous se trouver dans la liste standard “Espaces de travail”.
Comment ça marche #
Chaque espace de travail dispose d’un champ “Groupe d’espaces de travail”. Quand il est laissé vide, l’espace de travail reste dans la section standard “Espaces de travail” de la barre latérale, exactement comme avant. Quand il est renseigné, l’espace de travail est déplacé dans sa propre section de la barre latérale, intitulée d’après le nom du groupe, aux côtés de tous les autres espaces de travail partageant ce même nom de groupe.
Le nom du groupe se définit depuis l’en-tête de l’espace de travail lui-même : un champ à saisie assistée (“Groupe d’espaces de travail”) permet à l’utilisateur soit de choisir un nom de groupe existant, soit d’en taper un nouveau pour créer un groupe à la volée. La valeur est enregistrée avec le reste de l’espace de travail (bouton Enregistrer), ou immédiatement lorsque la vue liste des espaces de travail valide un renommage.
Renommer un groupe est possible depuis ce même champ : taper un nouveau nom sur un espace de travail qui appartient déjà à un groupe est détecté comme une tentative de renommage, et l’utilisateur se voit proposer de renommer le groupe pour tous les autres espaces de travail qui le partagent, afin que tout le groupe se déplace ensemble plutôt que de se scinder en deux.
Modifier le groupe d’un espace de travail suit les mêmes règles de permission que la modification de l’espace de travail lui-même (propriétaire de l’espace de travail, ou Gestionnaire d’espaces de travail pour les espaces publics).
Limites connues #
Les groupes sont un regroupement purement visuel de la barre latérale : ils n’affectent ni les permissions, ni le contenu des espaces de travail, ni leur ordre au-delà du placement des espaces regroupés dans leur propre section.
Introduite en 16.1.9.0.
Aussi pour cet écran