1.1 --- a/graph_displayer_canvas-edge.cc Fri Jul 15 21:17:18 2005 +0000
1.2 +++ b/graph_displayer_canvas-edge.cc Thu Jul 21 19:28:29 2005 +0000
1.3 @@ -118,6 +118,7 @@
1.4 {
1.5 if(mapname!="Default")
1.6 {
1.7 + edgemap_to_edit=mapname;
1.8 double number=(*(mapstorage.edgemap_storage)[mapname])[i];
1.9 int length=1;
1.10 //if number is smaller than one, length would be negative, or invalid
1.11 @@ -146,6 +147,7 @@
1.12 }
1.13 else
1.14 {
1.15 + edgemap_to_edit="";
1.16 edgetextmap[i]->property_text().set_value("");
1.17 }
1.18 }