1.1 --- a/gui/graph_displayer_canvas-edge.cc	Fri Aug 19 12:09:21 2005 +0000
     1.2 +++ b/gui/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)