| Property | Value |
|---|---|
| Type: | advanced |
| Identifier: | org.eclipse.elk.partitioning.activate |
| Meta Data Provider: | core.options.CoreOptions |
| Value Type: | java.lang.Boolean |
| Default Value: | false (as defined in org.eclipse.elk) |
| Applies To: | parents |
| Containing Group: | partitioning |
Whether to activate partitioned layout. This will allow to group nodes through the Layout Partition option. a pair of nodes with different partition indices is then placed such that the node with lower index is placed to the left of the other node (with left-to-right layout direction). Depending on the layout algorithm, this may only be guaranteed to work if all nodes have a layout partition configured, or at least if edges that cross partitions are not part of a partition-crossing cycle.