GraphObjectAdvanced extension
- on
Properties
- marginated ↔ Margin
-
getter/setter pair
- marginNum ↔ double
-
getter/setter pair
-
onSelect
→ Stream<
GraphObject> -
no setter
-
windowPosition
→ Rectangle<
num> -
no setter
Methods
-
fullSegmentation(
) → void -
onDropTo(
Diagram toDiagram) → Stream< GraphObject>