diff -r 3bde58e2d5ca -r 44897b1ba4e2 gui/graph_displayer_canvas-edge.cc
--- a/gui/graph_displayer_canvas-edge.cc	Wed Jul 27 11:02:51 2005 +0000
+++ b/gui/graph_displayer_canvas-edge.cc	Wed Jul 27 11:19:35 2005 +0000
@@ -119,37 +119,10 @@
 	    {
 	      edgemap_to_edit=mapname;
 	      double number=(*(mapstorage.edgemap_storage)[mapname])[i];
-// 	      int length=1;
-// 	      //if number is smaller than one, length would be negative, or invalid
-// 	      if(number>=1)
-// 		{
-// 		  length=(int)(floor(log(number)/log(10)))+1;
-// 		}
-// 	      int maxpos=(int)(pow(10,length-1));
-// 	      int strl=length+1+RANGE;
-// 	      char * str=new char[strl];
-// 	      str[length]='.';
-// 	      str[strl]='\0';
-      
-// 	      for(int j=0;j<strl;j++)
-// 		{
-// 		  if(j!=length)
-// 		    {
-// 		      if((number-(int)number)>ALMOST_ONE)
-// 			{
-// 			  number=round(number);
-// 			}
-// 		      int digit=(int)(number/maxpos);
-// 		      str[j]=(digit+'0');
-// 		      number-=digit*maxpos;
-// 		      number*=10;
-// 		    }
-// 		}
-//       	      edgetextmap[i]->property_text().set_value(str);
 
 	      std::ostringstream ostr;
 	      ostr << number;
-
+	      
       	      edgetextmap[i]->property_text().set_value(ostr.str());
 	    }
 	  else
@@ -165,34 +138,11 @@
       if(mapname!="Default")
 	{
 	  double number=(*(mapstorage.edgemap_storage)[mapname])[edge];
-	  int length=1;
-	  //if number is smaller than one, length would be negative, or invalid
-	  if(number>=1)
-	    {
-	      length=(int)(floor(log(number)/log(10)))+1;
-	    }
-	  int maxpos=(int)(pow(10,length-1));
-	  int strl=length+1+RANGE;
-	  char * str=new char[strl];
-	  str[length]='.';
-	  str[strl]='\0';
-      
-	  for(int j=0;j<strl;j++)
-	    {
-	      if(j!=length)
-		{
-		  if((number-(int)number)>ALMOST_ONE)
-		    {
-		      number=round(number);
-		    }
-		  int digit=(int)(number/maxpos);
-		  str[j]=(digit+'0');
-		  number-=digit*maxpos;
-		  number*=10;
-		}
-	    }
-      
-	  edgetextmap[edge]->property_text().set_value(str);
+
+	  std::ostringstream ostr;
+	  ostr << number;
+	  
+	  edgetextmap[edge]->property_text().set_value(ostr.str());
 	}
       else
 	{