equal
deleted
inserted
replaced
104 return 0; |
104 return 0; |
105 }; |
105 }; |
106 |
106 |
107 int GraphDisplayerCanvas::changeEdgeText (std::string mapname, Graph::Edge edge) |
107 int GraphDisplayerCanvas::changeEdgeText (std::string mapname, Graph::Edge edge) |
108 { |
108 { |
109 |
|
110 //the number in the map will be written on the edge |
109 //the number in the map will be written on the edge |
111 //EXCEPT when the name of the map is Text, because |
110 //EXCEPT when the name of the map is Default, because |
112 //in that case empty string will be written, because |
111 //in that case empty string will be written, because |
113 //that is the deleter map |
112 //that is the deleter map |
114 |
113 |
115 if(edge==INVALID) |
114 if(edge==INVALID) |
116 { |
115 { |