diff -r 1e0a66d6b45a -r 9fc3d5170b24 gui_reader.cc
--- a/gui_reader.cc	Mon Oct 30 12:20:54 2006 +0000
+++ b/gui_reader.cc	Mon Oct 30 13:08:04 2006 +0000
@@ -36,15 +36,16 @@
   std::map<int, XY > m;
   x("arrow_pos", m);
 
-  if ((int)m.size() != countEdges(mapstorage->graph)) return;
-
-  for (EdgeIt e(mapstorage->graph); e != INVALID; ++e)
-  {
-    int edgeid = (int)(*mapstorage->edgemap_storage["label"])[e];
-    mapstorage->arrow_pos.set(e, m[edgeid]);
-  }
-  mapstorage->ArrowPosReadOK();
-
+  if ((int)m.size() == countEdges(mapstorage->graph))
+    {
+      for (EdgeIt e(mapstorage->graph); e != INVALID; ++e)
+	{
+	  int edgeid = (int)(*mapstorage->edgemap_storage["label"])[e];
+	  mapstorage->arrow_pos.set(e, m[edgeid]);
+	}
+      mapstorage->ArrowPosReadOK();
+    }
+  
   std::map<int, std::string> nm;
   x("active_nodemaps", nm);