# HG changeset patch
# User hegyi
# Date 1136555929 0
# Node ID ab3107255754a951aa15c0dd524a0b01d77b0e0d
# Parent  99935b512b1c36ac2c8f7bffcfdd9987c84d83c3
Result of KruskalGUIAlgo is refreshed if displayed, but no more setin a forced way.

diff -r 99935b512b1c -r ab3107255754 kruskalbox.cc
--- a/kruskalbox.cc	Fri Jan 06 10:42:58 2006 +0000
+++ b/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()
diff -r 99935b512b1c -r ab3107255754 mapstorage.cc
--- a/mapstorage.cc	Fri Jan 06 10:42:58 2006 +0000
+++ b/mapstorage.cc	Fri Jan 06 13:58:49 2006 +0000
@@ -438,3 +438,27 @@
 {
   arrow_pos_read_ok = true;
 }
+
+void MapStorage::mapChanged(bool itisedge, std::string mapname)
+{
+  if(itisedge)
+    {
+      for(int i=0;i<EDGE_PROPERTY_NUM;i++)
+	{
+	  if(active_edgemaps[i]==mapname)
+	    {
+	      signal_prop.emit(itisedge, i);
+	    }
+	}
+    }
+  else
+    {
+      for(int i=0;i<NODE_PROPERTY_NUM;i++)
+	{
+	  if(active_nodemaps[i]==mapname)
+	    {
+	      signal_prop.emit(itisedge, i);
+	    }
+	}
+    }
+}
diff -r 99935b512b1c -r ab3107255754 mapstorage.h
--- a/mapstorage.h	Fri Jan 06 10:42:58 2006 +0000
+++ b/mapstorage.h	Fri Jan 06 13:58:49 2006 +0000
@@ -133,6 +133,8 @@
   ///To be able to iterate through each maps this function returns an iterator pointing to the last edgemap in the storage.
   std::map< std::string,Graph::EdgeMap<double> * >::iterator endOfEdgeMaps(){return edgemap_storage.end();};
 
+  void mapChanged(bool, std::string);
+
   int readFromFile(const std::string &);
   void writeToFile(const std::string &);