branch | gui |
changeset 47 | 9a0e6e92d06c |
parent 41 | 06f1f9a8d51f |
child 48 | b8ec84524fa2 |
1.1 --- a/graph_displayer_canvas.cc Wed Jul 27 11:35:13 2005 +0000 1.2 +++ b/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