changeset 1598 | 739df601808d |
parent 1592 | 4708b716d2f4 |
child 1599 | c2f95eac652b |
1.1 --- a/gui/graph_displayer_canvas.cc Wed Jul 27 11:35:13 2005 +0000 1.2 +++ b/gui/graph_displayer_canvas.cc Thu Jul 28 14:31:32 2005 +0000 1.3 @@ -32,7 +32,7 @@ 1.4 1.5 edgesmap[i]=new BrokenEdge(displayed_graph, coos, *this); 1.6 *(edgesmap[i]) << Gnome::Canvas::Properties::fill_color("green"); 1.7 - edgesmap[i]->property_width_pixels().set_value(10); 1.8 + edgesmap[i]->property_width_units().set_value(10); 1.9 1.10 //initializing edge-text as well, to empty string 1.11