diff --git a/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/StateSynthesis.xtend b/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/StateSynthesis.xtend index f9f654ec9b..7f426e9830 100644 --- a/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/StateSynthesis.xtend +++ b/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/StateSynthesis.xtend @@ -491,7 +491,7 @@ class StateSynthesis extends SubSynthesis { 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/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/styles/ControlflowRegionStyles.xtend b/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/styles/ControlflowRegionStyles.xtend index 5e68ab9050..fe179f6427 100644 --- a/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/styles/ControlflowRegionStyles.xtend +++ b/plugins/de.cau.cs.kieler.sccharts.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); ] }