diff -r 9a217bdf53a3 -r 199f433eb7cd graph_displayer_canvas-event.cc
--- a/graph_displayer_canvas-event.cc	Wed Jul 27 11:02:51 2005 +0000
+++ b/graph_displayer_canvas-event.cc	Wed Jul 27 11:19:35 2005 +0000
@@ -751,21 +751,25 @@
 		      }
 		    mapvalue_ch[i]=mapvalue_str[i];
 		  }
-  
-		double mapvalue_d=atof(mapvalue_ch);
-
+  	      
 		//if the text in the entry was correct
 		if((point_num<=1)&&(valid_double))
 		  {
+		    double mapvalue_d=atof(mapvalue_ch);
+
+		    //reconvert the double to string for the correct format
+		    std::ostringstream ostr;
+		    ostr << mapvalue_d;
+
 		    //save the value to the correct place
 		    switch(actual_tool)
 		      {
 		      case EDGE_MAP_EDIT:
-			edgetextmap[active_edge]->property_text().set_value(mapvalue_str);
+			edgetextmap[active_edge]->property_text().set_value(ostr.str());
 			(*(mapstorage.edgemap_storage)[edgemap_to_edit])[active_edge]=mapvalue_d;
 			break;
 		      case NODE_MAP_EDIT:
-			nodetextmap[active_node]->property_text().set_value(mapvalue_str);
+			nodetextmap[active_node]->property_text().set_value(ostr.str());
 			(*(mapstorage.nodemap_storage)[nodemap_to_edit])[active_node]=mapvalue_d;
 			break;
 		      default: