Closed jchodak closed 7 years ago
@PetriNuts/developers @monikaHeiner @jchodak If a node is moved to new position, the label (multiplicity) does not follow to the new arc position.
7.1-H2O.pn.zip
does this effect also occur for node names? the screenshot suggests - yes @jchodak
@monikaHeiner no, node names and comments follow to the new position
@PetriNuts/developers @monikaHeiner @jchodak
If a node is moved to new position, the label (multiplicity) does not follow to the new arc position.
7.1-H2O.pn.zip