graph_displayer_canvas.cc
branchgui
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