Both halves are addressed for 15.0.

RING CONSTRAINT VISUALIZATION

The glyph now shows one ring per member of the combination, side by side in the order the constraint reads, so a fact type that is acyclic AND intransitive shows both - the reader recognises the parts instead of having to learn a compound symbol.

It can be dragged anywhere on the diagram. Where it is put is remembered per diagram and survives moving or resizing the fact type, reloading the diagram, and changing the constraint itself. 'Smart Move' in the diagram popup - the same switch every other constraint has - hands it back to the fact type, which parks it against the bottom-right corner again. Dragging it away turns Smart Move off by itself.

It draws the dashed lines to the roles it rings between, like every other constraint: the pinned pair when one was recorded, and otherwise the fact type's own two roles. The lines follow the glyph and switch off with the rest of the constraints.

Selecting it fills it with the selection colour, and clicking it no longer hands the selection back to the fact type underneath.

CONSTRAINT EDITING FROM THE DIAGRAM

Editing a constraint from the diagram now opens the dialog belonging to that constraint: the UC/CC dialog for uniqueness and cardinality constraints, the totality/set dialog for totality and exclusion, and the subset dialog for subset and equality. A ring constraint still opens its fact type's editor, which is where its own setting lives.

Placing a cardinality constraint with the toolbutton opens its dialog straight away, so the min and max can be given at once instead of leaving it saying 'exactly once'.