graph_displayer_canvas-edge.cc
changeset 180 911c6ba0e3c8
parent 178 a96d2a540454
child 194 6b2b718420eb
child 204 8fec6a6472fe
equal deleted inserted replaced
24:309add8a5da5 25:b44d8b3e680c
   145 	  double w=(*actual_map)[i];
   145 	  double w=(*actual_map)[i];
   146 
   146 
   147 	  Gdk::Color color;
   147 	  Gdk::Color color;
   148 	  if(max!=min)
   148 	  if(max!=min)
   149 	    {
   149 	    {
   150 	      color.set_rgb_p (0, 100*(w-min)/(max-min), 0);
   150 	      color=rainbowColorCounter(min, max, w);
   151 	    }
   151 	    }
   152 	  else
   152 	  else
   153 	    {
   153 	    {
   154 	      color.set_rgb_p (0, 100, 0);
   154 	      color.set_rgb_p (0, 1, 0);
   155 	    }
   155 	    }
   156 	  edgesmap[i]->setFillColor(color);
   156 	  edgesmap[i]->setFillColor(color);
   157 	}
   157 	}
   158     }
   158     }
   159   else
   159   else
   162 
   162 
   163       double w=(*actual_map)[edge];
   163       double w=(*actual_map)[edge];
   164 
   164 
   165       if(max!=min)
   165       if(max!=min)
   166 	{
   166 	{
   167 	  color.set_rgb_p (0, 100*(w-min)/(max-min), 0);
   167 	  color=rainbowColorCounter(min, max, w);
   168 	}
   168 	}
   169       else
   169       else
   170 	{
   170 	{
   171 	  color.set_rgb_p (0, 100, 0);
   171 	  color.set_rgb_p (0, 1, 0);
   172 	}
   172 	}
   173 
   173 
   174       edgesmap[edge]->setFillColor(color);
   174       edgesmap[edge]->setFillColor(color);
   175     }
   175     }
   176   return 0;
   176   return 0;