IL est possible de créer des groupes de même nom (dans des partitions différentes) #118

Closed
opened 2021-09-05 12:12:28 +02:00 by jmplace · 1 comment
Collaborator

Pas vraiment génant mais source d'ambiguité:
image

testé sous scodoc7
image
et scodoc9
image

Pas vraiment génant mais source d'ambiguité: ![image](/git/attachments/0f151f2d-9ab1-44ca-a9f2-d12ab3b1f885) testé sous scodoc7 ![image](/git/attachments/e019f3cd-4676-4c17-9f44-7c9c2a342b64) et scodoc9 ![image](/git/attachments/be056e43-1def-4c82-876c-3c82b72ab7d9)
Owner

Deux groupes de même nom, mais dans des partitions différentes n'est-ce pas ?

Si partitions différentes, cela ne pose aucun problème pour ScoDoc et il y a peut-être des cas où cela est utile (des groupes 1, 2, 3 dans plusieurs partitions...).
Dans d'autres cas cela peut générer des confusions chez les utilisateurs, et je ne le conseillerais pas.

Deux groupes de même nom, mais dans des partitions différentes n'est-ce pas ? Si partitions différentes, cela ne pose aucun problème pour ScoDoc et il y a peut-être des cas où cela est utile (des groupes 1, 2, 3 dans plusieurs partitions...). Dans d'autres cas cela peut générer des confusions chez les utilisateurs, et je ne le conseillerais pas.
Sign in to join this conversation.
No Milestone
No project
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: ScoDoc/ScoDoc#118
No description provided.