gui_writer.cc
branchgui
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);