1.1 --- a/gui_reader.cc	Mon Oct 30 12:20:54 2006 +0000
     1.2 +++ b/gui_reader.cc	Mon Oct 30 13:08:04 2006 +0000
     1.3 @@ -36,15 +36,16 @@
     1.4    std::map<int, XY > m;
     1.5    x("arrow_pos", m);
     1.6  
     1.7 -  if ((int)m.size() != countEdges(mapstorage->graph)) return;
     1.8 -
     1.9 -  for (EdgeIt e(mapstorage->graph); e != INVALID; ++e)
    1.10 -  {
    1.11 -    int edgeid = (int)(*mapstorage->edgemap_storage["label"])[e];
    1.12 -    mapstorage->arrow_pos.set(e, m[edgeid]);
    1.13 -  }
    1.14 -  mapstorage->ArrowPosReadOK();
    1.15 -
    1.16 +  if ((int)m.size() == countEdges(mapstorage->graph))
    1.17 +    {
    1.18 +      for (EdgeIt e(mapstorage->graph); e != INVALID; ++e)
    1.19 +	{
    1.20 +	  int edgeid = (int)(*mapstorage->edgemap_storage["label"])[e];
    1.21 +	  mapstorage->arrow_pos.set(e, m[edgeid]);
    1.22 +	}
    1.23 +      mapstorage->ArrowPosReadOK();
    1.24 +    }
    1.25 +  
    1.26    std::map<int, std::string> nm;
    1.27    x("active_nodemaps", nm);
    1.28