Layout Partitioning
| 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 |
| Legacy Id: | de.cau.cs.kieler.layoutPartitions |
| Containing Groups: | partitioning |
Description
Whether to activate partitioned layout.