diff -r 1d3a1bcbc874 -r ed7da82bbecf gui/graph_displayer_canvas-edge.cc --- a/gui/graph_displayer_canvas-edge.cc Wed Jul 20 22:36:37 2005 +0000 +++ b/gui/graph_displayer_canvas-edge.cc Thu Jul 21 19:28:29 2005 +0000 @@ -118,6 +118,7 @@ { if(mapname!="Default") { + 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 @@ -146,6 +147,7 @@ } else { + edgemap_to_edit=""; edgetextmap[i]->property_text().set_value(""); } }