diff -r 15b51d278bf0 -r 739df601808d gui/graph_displayer_canvas.cc --- a/gui/graph_displayer_canvas.cc Wed Jul 27 11:35:13 2005 +0000 +++ b/gui/graph_displayer_canvas.cc Thu Jul 28 14:31:32 2005 +0000 @@ -32,7 +32,7 @@ edgesmap[i]=new BrokenEdge(displayed_graph, coos, *this); *(edgesmap[i]) << Gnome::Canvas::Properties::fill_color("green"); - edgesmap[i]->property_width_pixels().set_value(10); + edgesmap[i]->property_width_units().set_value(10); //initializing edge-text as well, to empty string