gui_writer.cc
branchgui
changeset 134 82e19031c319
parent 98 f60f89147531
child 150 86273bfe0e4d
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