# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1350241334 -7200
# Node ID c541bbad702413963a1dcaecd0db8a2243367b37
# Parent  875ed58b3b6597de96eef28297daf13d621255ed
store colors after build

diff -r 875ed58b3b65 -r c541bbad7024 src/Tools/Graphview/src/model.scala
--- a/src/Tools/Graphview/src/model.scala	Sun Oct 14 19:16:39 2012 +0200
+++ b/src/Tools/Graphview/src/model.scala	Sun Oct 14 21:02:14 2012 +0200
@@ -93,13 +93,14 @@
   def colors = _colors
   
   private def build_colors() {
-    (Map[String, Color]() /: Colors()) ({
-        case (colors, (enabled, color, mutator)) => {
-            (colors /: mutator.mutate(graph, graph).keys) ({
-                case (colors, k) => colors + (k -> color)
-              })
-          }
-    })
+    _colors = 
+      (Map[String, Color]() /: Colors()) ({
+          case (colors, (enabled, color, mutator)) => {
+              (colors /: mutator.mutate(graph, graph).keys) ({
+                  case (colors, k) => colors + (k -> color)
+                })
+            }
+      })
   }
   Colors.events += { case _ => build_colors() }
-}
\ No newline at end of file
+}