equal
deleted
inserted
replaced
20 |
20 |
21 if ((int)m.size() != countEdges(mapstorage->graph)) return; |
21 if ((int)m.size() != countEdges(mapstorage->graph)) return; |
22 |
22 |
23 for (EdgeIt e(mapstorage->graph); e != INVALID; ++e) |
23 for (EdgeIt e(mapstorage->graph); e != INVALID; ++e) |
24 { |
24 { |
25 int edgeid = (int)(*mapstorage->edgemap_storage["id"])[e]; |
25 int edgeid = (int)(*mapstorage->edgemap_storage["label"])[e]; |
26 mapstorage->arrow_pos.set(e, m[edgeid]); |
26 mapstorage->arrow_pos.set(e, m[edgeid]); |
27 } |
27 } |
28 mapstorage->ArrowPosReadOK(); |
28 mapstorage->ArrowPosReadOK(); |
29 } |
29 } |
30 |
30 |