gui/graph_displayer_canvas.cc
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