diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticHighlightCalculator.xtend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticHighlightCalculator.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticHighlightCalculator.xtend index c9ceb36a..cb10ebf4 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticHighlightCalculator.xtend +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticHighlightCalculator.xtend | |||
@@ -44,8 +44,8 @@ class SolverSemanticHighlightCalculator extends DefaultSemanticHighlightingCalcu | |||
44 | def String calculateSymbolCode(String name) { | 44 | def String calculateSymbolCode(String name) { |
45 | val Random random = new Random(name.hashCode) | 45 | val Random random = new Random(name.hashCode) |
46 | val hue = huePick(random.nextFloat) | 46 | val hue = huePick(random.nextFloat) |
47 | val saturation = 0.1+random.nextFloat*0.2 | 47 | val saturation = 0.2+random.nextFloat*0.3 |
48 | val brightness = random.nextFloat/4+0.7f | 48 | val brightness = random.nextFloat*0.2+0.7f |
49 | return '''«SmybolCode» «hue» «saturation» «brightness»''' | 49 | return '''«SmybolCode» «hue» «saturation» «brightness»''' |
50 | } | 50 | } |
51 | private def huePick(float random) { | 51 | private def huePick(float random) { |