gui/gui_writer.cc
changeset 2087 67258b5a057b
parent 1860 27a9a75b957b
equal deleted inserted replaced
0:d0afde6251f9 1:40a0e1455790
    13 {
    13 {
    14   XmlIo x(os);
    14   XmlIo x(os);
    15   std::map<int, xy<double> > m;
    15   std::map<int, xy<double> > m;
    16   for (EdgeIt e(mapstorage->graph); e != INVALID; ++e)
    16   for (EdgeIt e(mapstorage->graph); e != INVALID; ++e)
    17   {
    17   {
    18     int edgeid = (int)(*(mapstorage->edgemap_storage["id"]))[e];
    18     int edgeid = (int)(*(mapstorage->edgemap_storage["label"]))[e];
    19     m[edgeid] = mapstorage->arrow_pos[e];
    19     m[edgeid] = mapstorage->arrow_pos[e];
    20   }
    20   }
    21   x("arrow_pos", m);
    21   x("arrow_pos", m);
    22 }
    22 }
    23 
    23