diff -r 62548b317e65 -r 4a04bb856ac7 gui/graph_displayer_canvas-edge.cc
--- a/gui/graph_displayer_canvas-edge.cc	Fri Aug 19 12:09:21 2005 +0000
+++ b/gui/graph_displayer_canvas-edge.cc	Tue Aug 23 07:36:09 2005 +0000
@@ -122,7 +122,7 @@
   //EXCEPT when the name of the map is Default, because
   //in that case empty string will be written, because
   //that is the deleter map
-
+  
   if(edge==INVALID)
     {
       for (EdgeIt i(mapstorage.graph); i!=INVALID; ++i)