Lorsque je regroupe des formes dans Diagramly, je souhaite les redimensionner en même temps en tant que groupe, mais je ne vois pas comment le faire. J'ai évidemment fait glisser l'une des poignées d'angle du cadre de groupe, mais cela ne fonctionne pas. Est-ce possible?
Actuellement, dans draw.io, définir la taille de la police et les autres propriétés d'un groupe ne change rien aux éléments, mais le fait pour un certain nombre d'éléments sélectionnés. Ainsi, le flux de travail pour un seul groupe est le suivant: ungroup (^ u); attribut set; groupe (^ g).
Notez que ces définit attributs tels que la taille de la police; les attributs qui diffèrent entre les éléments ne seront pas mis à l'échelle.
Il m'a fallu un jour pour découvrir cette option. C'est très simple.