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 99573fbdec..5bd80e811e 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 @@ -233,7 +233,8 @@ class StateStyles { fontSize = stateLabelTextSize suppressSelectability selectionTextUnderline = Underline.NONE // prevents default selection style - setProperty(KlighdProperties.IS_NODE_TITLE, true) + // TODO Tag with semantic information to not scale the title of leaf nodes. +// setProperty(KlighdProperties.IS_NODE_TITLE, true) ] }