replace region surrounding spacing by ELK nodeNodeSpacing

This makes is possible to control the spacing directly through layout options, which is convenient, but the spacing on the outside of the layout i.e. the spacing between the border of the state and the regions is slightly different than before.
kieler · Dec 9, 2024 · 7aa2585 · 7aa2585
1 parent b181d9c
commit 7aa2585
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/...cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/StateSynthesis.xtend b/...cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/StateSynthesis.xtend
@@ -491,7 +491,7 @@ class StateSynthesis extends SubSynthesis<State, KNode> {
         node.setLayoutOption(RectPackingOptions.WHITE_SPACE_ELIMINATION_STRATEGY, WhiteSpaceEliminationStrategy.EQUAL_BETWEEN_STRUCTURES)
         node.setLayoutOption(RectPackingOptions.OMIT_NODE_MICRO_LAYOUT, true)
         node.setLayoutOption(CoreOptions::PADDING, new ElkPadding(0))
-        node.setLayoutOption(CoreOptions::SPACING_NODE_NODE, 1.0)
+        node.setLayoutOption(CoreOptions::SPACING_NODE_NODE, 5.0)
     }
 
     def static void configureLayoutRegionDependencies(KNode node) {

diff --git a/...charts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/styles/ControlflowRegionStyles.xtend b/...charts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/styles/ControlflowRegionStyles.xtend
@@ -76,7 +76,7 @@ class ControlflowRegionStyles {
             background = REGION_BACKGROUND.color;
             foreground = REGION_FOREGROUND.color;
             lineWidth = 1;
-            setSurroundingSpace(2, 0);
+//            setSurroundingSpace(2, 0);
         ]
     }