From 800984ef31b1db4cab852331b6f3abf061d82403 Mon Sep 17 00:00:00 2001 From: Max Kasperowski Date: Mon, 5 Aug 2024 15:26:21 +0200 Subject: [PATCH] best-layout-search --- .../src/de/cau/cs/kieler/klighd/KlighdSetup.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/plugins/de.cau.cs.kieler.klighd/src/de/cau/cs/kieler/klighd/KlighdSetup.java b/plugins/de.cau.cs.kieler.klighd/src/de/cau/cs/kieler/klighd/KlighdSetup.java index fd58a23d8..90883c71f 100644 --- a/plugins/de.cau.cs.kieler.klighd/src/de/cau/cs/kieler/klighd/KlighdSetup.java +++ b/plugins/de.cau.cs.kieler.klighd/src/de/cau/cs/kieler/klighd/KlighdSetup.java @@ -17,6 +17,7 @@ package de.cau.cs.kieler.klighd; import org.eclipse.elk.core.labels.LabelManagementOptions; +import org.eclipse.elk.core.options.CoreOptions; import de.cau.cs.kieler.klighd.internal.util.KlighdInternalProperties; import de.cau.cs.kieler.klighd.microlayout.GridPlacementUtil; @@ -36,6 +37,7 @@ public void execute() { .registerBlacklistedProperty(KlighdInternalProperties.MODEL_ELEMENT) .registerBlacklistedProperty(LabelManagementOptions.LABEL_MANAGER) .registerBlacklistedProperty(GridPlacementUtil.ESTIMATED_GRID_DATA) - .registerBlacklistedProperty(GridPlacementUtil.CHILD_AREA_POSITION); + .registerBlacklistedProperty(GridPlacementUtil.CHILD_AREA_POSITION) + .registerBlacklistedProperty(CoreOptions.TOPDOWN_OPTION_VALUE_MAP); } }