gui/graph_displayer_canvas-edge.cc
changeset 1614 350c1d8bb7cc
parent 1606 dc4ea2010dee
child 1632 93ac8c521fe5
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 	    }