branch | gui |
changeset 134 | 82e19031c319 |
parent 98 | f60f89147531 |
child 150 | 86273bfe0e4d |
1.1 --- a/gui_writer.cc Fri Apr 14 18:31:16 2006 +0000 1.2 +++ b/gui_writer.cc Tue Apr 18 22:59:33 2006 +0000 1.3 @@ -15,7 +15,7 @@ 1.4 std::map<int, xy<double> > m; 1.5 for (EdgeIt e(mapstorage->graph); e != INVALID; ++e) 1.6 { 1.7 - int edgeid = (int)(*(mapstorage->edgemap_storage["id"]))[e]; 1.8 + int edgeid = (int)(*(mapstorage->edgemap_storage["label"]))[e]; 1.9 m[edgeid] = mapstorage->arrow_pos[e]; 1.10 } 1.11 x("arrow_pos", m);