branch | gui |
changeset 63 | 59768817442a |
parent 62 | 80eefca04b1e |
child 81 | 5ad61c33487c |
1.1 --- a/graph_displayer_canvas-edge.cc Thu Aug 18 13:33:49 2005 +0000 1.2 +++ b/graph_displayer_canvas-edge.cc Tue Aug 23 07:36:09 2005 +0000 1.3 @@ -122,7 +122,7 @@ 1.4 //EXCEPT when the name of the map is Default, because 1.5 //in that case empty string will be written, because 1.6 //that is the deleter map 1.7 - 1.8 + 1.9 if(edge==INVALID) 1.10 { 1.11 for (EdgeIt i(mapstorage.graph); i!=INVALID; ++i)