graph_displayer_canvas-edge.cc
branchgui
changeset 56 7a9a55a2f45d
parent 53 e73d7540bd24
child 59 c38925cc6a4d
equal deleted inserted replaced
10:6132fc659d41 11:ef721efb027a
    23 
    23 
    24   if(edge==INVALID)
    24   if(edge==INVALID)
    25     {
    25     {
    26       for (EdgeIt i(mapstorage.graph); i!=INVALID; ++i)
    26       for (EdgeIt i(mapstorage.graph); i!=INVALID; ++i)
    27 	{
    27 	{
    28 	  double v=abs((*actual_map)[i]);
    28 	  double v=fabs((*actual_map)[i]);
    29 	  int w;
    29 	  int w;
    30 	  if(min==max)
    30 	  if(min==max)
    31 	    {
    31 	    {
    32 	      w=(int)(edge_property_defaults[E_WIDTH]);
    32 	      w=(int)(edge_property_defaults[E_WIDTH]);
    33 	    }
    33 	    }