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 5522cca762..087ea6137b 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 @@ -29,6 +29,7 @@ import de.cau.cs.kieler.klighd.krendering.extensions.KNodeExtensions import de.cau.cs.kieler.klighd.krendering.extensions.KPolylineExtensions import de.cau.cs.kieler.klighd.krendering.extensions.KRenderingExtensions import de.cau.cs.kieler.klighd.util.KlighdProperties +import de.cau.cs.kieler.klighd.util.KlighdTags import de.cau.cs.kieler.sccharts.ControlflowRegion import de.cau.cs.kieler.sccharts.extensions.TextFormat import java.util.List @@ -172,14 +173,14 @@ class ControlflowRegionStyles { selectionTextUnderline = Underline.NONE // prevents default selection style val size = estimateTextSize; setPointPlacementData(LEFT, absLeftOffset, 0, TOP, 1, 0, H_LEFT, V_TOP, 0, 0, size.width + 5, size.height) - setProperty(KlighdProperties.IS_NODE_TITLE, true) + getProperty(KlighdProperties.SEMANTIC_FILTER_TAGS).add(KlighdTags.IS_NODE_TITLE) ] } else { container.addKeywordLabel(label, 0) => [ foreground = REGION_LABEL.color fontSize = 10 setPointPlacementData(LEFT, absLeftOffset, 0, TOP, 1, 0, H_LEFT, V_TOP, 0, 0, 0, 0) - setProperty(KlighdProperties.IS_NODE_TITLE, true) + getProperty(KlighdProperties.SEMANTIC_FILTER_TAGS).add(KlighdTags.IS_NODE_TITLE) (children.last as KContainerRendering) => [ // Just for spacing at the end val grid = it?.getChildPlacement() if (grid instanceof KGridPlacement) { diff --git a/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/styles/StateStyles.xtend b/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/styles/StateStyles.xtend index 8855cc614f..bcbd8c2f22 100644 --- a/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/styles/StateStyles.xtend +++ b/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/styles/StateStyles.xtend @@ -54,6 +54,7 @@ import static de.cau.cs.kieler.sccharts.ui.synthesis.styles.ColorStore.Color.* import static extension de.cau.cs.kieler.klighd.syntheses.DiagramSyntheses.* import static extension org.eclipse.emf.ecore.util.EcoreUtil.* +import de.cau.cs.kieler.klighd.util.KlighdTags /** * Styles for {@link State}. @@ -240,7 +241,7 @@ class StateStyles { fontSize = stateLabelTextSize suppressSelectability selectionTextUnderline = Underline.NONE // prevents default selection style -// setProperty(KlighdProperties.IS_NODE_TITLE, true) +// getProperty(KlighdProperties.SEMANTIC_FILTER_TAGS).add(KlighdTags.IS_NODE_TITLE) ] } @@ -259,7 +260,7 @@ class StateStyles { ] children.head => [ - setProperty(KlighdProperties.IS_NODE_TITLE, true) + getProperty(KlighdProperties.SEMANTIC_FILTER_TAGS).add(KlighdTags.IS_NODE_TITLE) setPointPlacementData(createKPosition(LEFT, 0, 0.5f, TOP, 0, 0), H_CENTRAL, V_TOP, 0, 0, 0, 0); ] ]