1.1 --- a/graph_displayer_canvas-edge.cc	Mon Oct 30 15:43:13 2006 +0000
     1.2 +++ b/graph_displayer_canvas-edge.cc	Mon Nov 06 15:40:44 2006 +0000
     1.3 @@ -147,11 +147,11 @@
     1.4  	  Gdk::Color color;
     1.5  	  if(max!=min)
     1.6  	    {
     1.7 -	      color.set_rgb_p (0, 100*(w-min)/(max-min), 0);
     1.8 +	      color=rainbowColorCounter(min, max, w);
     1.9  	    }
    1.10  	  else
    1.11  	    {
    1.12 -	      color.set_rgb_p (0, 100, 0);
    1.13 +	      color.set_rgb_p (0, 1, 0);
    1.14  	    }
    1.15  	  edgesmap[i]->setFillColor(color);
    1.16  	}
    1.17 @@ -164,11 +164,11 @@
    1.18  
    1.19        if(max!=min)
    1.20  	{
    1.21 -	  color.set_rgb_p (0, 100*(w-min)/(max-min), 0);
    1.22 +	  color=rainbowColorCounter(min, max, w);
    1.23  	}
    1.24        else
    1.25  	{
    1.26 -	  color.set_rgb_p (0, 100, 0);
    1.27 +	  color.set_rgb_p (0, 1, 0);
    1.28  	}
    1.29  
    1.30        edgesmap[edge]->setFillColor(color);