diff -r 121452cc4096 -r 9a0e6e92d06c graph_displayer_canvas-edge.cc --- a/graph_displayer_canvas-edge.cc Wed Jul 27 11:35:13 2005 +0000 +++ b/graph_displayer_canvas-edge.cc Thu Jul 28 14:31:32 2005 +0000 @@ -22,7 +22,7 @@ int w=(int)(*actual_map)[i]; if(w>=0) { - edgesmap[i]->property_width_pixels().set_value(w); + edgesmap[i]->property_width_units().set_value(w); } } } @@ -31,7 +31,7 @@ int w=(int)(*actual_map)[edge]; if(w>=0) { - edgesmap[edge]->property_width_pixels().set_value(w); + edgesmap[edge]->property_width_units().set_value(w); } } return 0;