branch | gui |
changeset 134 | 82e19031c319 |
parent 98 | f60f89147531 |
child 150 | 86273bfe0e4d |
1.1 --- a/gui_reader.cc Fri Apr 14 18:31:16 2006 +0000 1.2 +++ b/gui_reader.cc Tue Apr 18 22:59:33 2006 +0000 1.3 @@ -22,7 +22,7 @@ 1.4 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 mapstorage->arrow_pos.set(e, m[edgeid]); 1.10 } 1.11 mapstorage->ArrowPosReadOK();