1.1 --- a/src/Tools/Graphview/src/model.scala Sun Oct 14 19:16:39 2012 +0200
1.2 +++ b/src/Tools/Graphview/src/model.scala Sun Oct 14 21:02:14 2012 +0200
1.3 @@ -93,13 +93,14 @@
1.4 def colors = _colors
1.5
1.6 private def build_colors() {
1.7 - (Map[String, Color]() /: Colors()) ({
1.8 - case (colors, (enabled, color, mutator)) => {
1.9 - (colors /: mutator.mutate(graph, graph).keys) ({
1.10 - case (colors, k) => colors + (k -> color)
1.11 - })
1.12 - }
1.13 - })
1.14 + _colors =
1.15 + (Map[String, Color]() /: Colors()) ({
1.16 + case (colors, (enabled, color, mutator)) => {
1.17 + (colors /: mutator.mutate(graph, graph).keys) ({
1.18 + case (colors, k) => colors + (k -> color)
1.19 + })
1.20 + }
1.21 + })
1.22 }
1.23 Colors.events += { case _ => build_colors() }
1.24 -}
1.25 \ No newline at end of file
1.26 +}