diff -r 0d6da6e6a775 -r f40cdc2057c2 gui/kruskalbox.cc
--- a/gui/kruskalbox.cc	Fri Jan 06 10:42:58 2006 +0000
+++ b/gui/kruskalbox.cc	Fri Jan 06 13:58:49 2006 +0000
@@ -32,11 +32,13 @@
   std::ostringstream o;
   o << "Result: " << res;
   resultlabel.set_text(o.str());
+
+  mapstorage->mapChanged(true, (edgemapcbts[OUTPUT])->get_active_text());
+  //   mapstorage->changeActiveMap(true, E_COLOR,
+  // 			      (edgemapcbts[OUTPUT])->get_active_text());
+  //   mapstorage->changeActiveMap(true, E_TEXT,
+  // 			      (edgemapcbts[INPUT])->get_active_text());
   
-  mapstorage->changeActiveMap(true, E_COLOR,
-			      (edgemapcbts[OUTPUT])->get_active_text());
-  mapstorage->changeActiveMap(true, E_TEXT,
-			      (edgemapcbts[INPUT])->get_active_text());
 }
     
 void KruskalBox::build_box()