some cosmetic issues

teetime.configuration.klighd/src/teetime/configuration/klighd/DiagramSynthesis.xtend

@@ -39,15 +39,15 @@ class DiagramSynthesis extends AbstractDiagramSynthesis<Configuration> {
 	@Inject extension KPolylineExtensions
 	@Inject extension KColorExtensions
 
-	private static val SynthesisOption SHOW_STATE = SynthesisOption::createCheckOption("Show state", true)
-	private static val SynthesisOption SHOW_THREADS = SynthesisOption::createCheckOption("Show threads", true)
+	private static val SynthesisOption SHOW_STATE = SynthesisOption::createCheckOption("Stage state", true)
+	private static val SynthesisOption SHOW_THREADS = SynthesisOption::createCheckOption("Thread assignment", true)
 
 	private val colorings = <Stage, KNode>newHashMap
 	private val falseStages = <Stage>newHashSet
 
 	override public getDisplayedSynthesisOptions() {
 		return newLinkedList(
-			SynthesisOption::createSeparator("Options"),
+			SynthesisOption::createSeparator("Visualization options"),
 			SHOW_STATE,
 			SHOW_THREADS
 		);
@@ -97,7 +97,7 @@ class DiagramSynthesis extends AbstractDiagramSynthesis<Configuration> {
 		node.associateWith(stage);
 		node.addRoundedRectangle(4, 4, 1) => [
 			it.setShadow("black".color, 3)
-			val text = it.addText(stage.id).associateWith(stage.id).setSurroundingSpace(4, 0, 2, 0) => [
+			val text = it.addText(stage.id).associateWith(stage.id).setSurroundingSpace(8, 0, 8, 0) => [
 				it.setProperty(KlighdProperties.VISIBILITY_SCALE_LOWER_BOUND, 0.70);
 			]
 			if (!(stage.isIsActive || stage.inputPorts.size == 0) && SHOW_STATE.booleanValue) {
@@ -108,7 +108,7 @@ class DiagramSynthesis extends AbstractDiagramSynthesis<Configuration> {
 //				foreground = "gray40".color
 			}
 			if (falseStages.contains(stage)) {
-				it.background = "red".color
+				it.background = "#FF5555".color
 			}
 		]
 		node.setMinimalNodeSize(100, 50)