1.1 --- a/graph_displayer_canvas-edge.cc	Wed Aug 30 15:55:18 2006 +0000
     1.2 +++ b/graph_displayer_canvas-edge.cc	Wed Sep 13 09:16:29 2006 +0000
     1.3 @@ -24,7 +24,7 @@
     1.4  	    {
     1.5  	      w=(int)(MIN_EDGE_WIDTH+(v-min)/(max-min)*(MAX_EDGE_WIDTH-MIN_EDGE_WIDTH));
     1.6  	    }
     1.7 -	  edgesmap[i]->property_width_units().set_value(w);
     1.8 +	  edgesmap[i]->setLineWidth(w);
     1.9  	}
    1.10      }
    1.11    else
    1.12 @@ -32,7 +32,7 @@
    1.13        int w=(int)actual_map[edge];
    1.14        if(w>=0)
    1.15  	{
    1.16 -	  edgesmap[edge]->property_width_units().set_value(w);
    1.17 +	  edgesmap[edge]->setLineWidth(w);
    1.18  	}
    1.19      }
    1.20    return 0;
    1.21 @@ -62,7 +62,7 @@
    1.22  	    {
    1.23  	      w=(int)(MIN_EDGE_WIDTH+(v-min)/(max-min)*(MAX_EDGE_WIDTH-MIN_EDGE_WIDTH));
    1.24  	    }
    1.25 -	  edgesmap[i]->property_width_units().set_value(w);
    1.26 +	  edgesmap[i]->setLineWidth(w);
    1.27  	}
    1.28      }
    1.29    else
    1.30 @@ -70,7 +70,7 @@
    1.31        int w=(int)(*actual_map)[edge];
    1.32        if(w>=0)
    1.33  	{
    1.34 -	  edgesmap[edge]->property_width_units().set_value(w);
    1.35 +	  edgesmap[edge]->setLineWidth(w);
    1.36  	}
    1.37      }
    1.38    return 0;
    1.39 @@ -105,7 +105,7 @@
    1.40  	    {
    1.41  	      color.set_rgb_p (0, 100, 0);
    1.42  	    }
    1.43 -	  edgesmap[i]->property_fill_color_gdk().set_value(color);
    1.44 +	  edgesmap[i]->setFillColor(color);
    1.45  	}
    1.46      }
    1.47    else
    1.48 @@ -123,7 +123,7 @@
    1.49  	  color.set_rgb_p (0, 100, 0);
    1.50  	}
    1.51  
    1.52 -      edgesmap[edge]->property_fill_color_gdk().set_value(color);
    1.53 +      edgesmap[edge]->setFillColor(color);
    1.54      }
    1.55    return 0;
    1.56  };
    1.57 @@ -156,7 +156,7 @@
    1.58  	    {
    1.59  	      color.set_rgb_p (0, 100, 0);
    1.60  	    }
    1.61 -	  edgesmap[i]->property_fill_color_gdk().set_value(color);
    1.62 +	  edgesmap[i]->setFillColor(color);
    1.63  	}
    1.64      }
    1.65    else
    1.66 @@ -174,7 +174,7 @@
    1.67  	  color.set_rgb_p (0, 100, 0);
    1.68  	}
    1.69  
    1.70 -      edgesmap[edge]->property_fill_color_gdk().set_value(color);
    1.71 +      edgesmap[edge]->setFillColor(color);
    1.72      }
    1.73    return 0;
    1.74  };