1.1 --- a/gui/graph_displayer_canvas-edge.cc	Tue Jul 26 14:31:29 2005 +0000
     1.2 +++ b/gui/graph_displayer_canvas-edge.cc	Tue Jul 26 18:14:23 2005 +0000
     1.3 @@ -106,9 +106,8 @@
     1.4  
     1.5  int GraphDisplayerCanvas::changeEdgeText (std::string mapname, Graph::Edge edge)
     1.6  {
     1.7 -
     1.8    //the number in the map will be written on the edge
     1.9 -  //EXCEPT when the name of the map is Text, because
    1.10 +  //EXCEPT when the name of the map is Default, because
    1.11    //in that case empty string will be written, because
    1.12    //that is the deleter map
    1.13