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 +}