aboutsummaryrefslogtreecommitdiffstats
path: root/Application
diff options
context:
space:
mode:
authorLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-05-06 00:27:03 +0200
committerLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-05-06 00:27:03 +0200
commit9a846076fe0ba18bfbf1d4358387d1c5b8800f59 (patch)
tree304c216cdf0b28b1acd682c466fe767e989a55c2 /Application
parentmissing commit (diff)
downloadVIATRA-Generator-9a846076fe0ba18bfbf1d4358387d1c5b8800f59.tar.gz
VIATRA-Generator-9a846076fe0ba18bfbf1d4358387d1c5b8800f59.tar.zst
VIATRA-Generator-9a846076fe0ba18bfbf1d4358387d1c5b8800f59.zip
color update
Diffstat (limited to 'Application')
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticHighlightCalculator.xtend4
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) {