gui/graph_displayer_canvas-edge.cc
changeset 1581 9bb83c7f479b
parent 1579 ed7da82bbecf
child 1589 9192e1b26d32
     1.1 --- a/gui/graph_displayer_canvas-edge.cc	Fri Jul 22 09:41:20 2005 +0000
     1.2 +++ b/gui/graph_displayer_canvas-edge.cc	Fri Jul 22 11:04:27 2005 +0000
     1.3 @@ -136,6 +136,10 @@
     1.4  		{
     1.5  		  if(j!=length)
     1.6  		    {
     1.7 +		      if((number-(int)number)>ALMOST_ONE)
     1.8 +			{
     1.9 +			  number=round(number);
    1.10 +			}
    1.11  		      int digit=(int)(number/maxpos);
    1.12  		      str[j]=(digit+'0');
    1.13  		      number-=digit*maxpos;
    1.14 @@ -174,6 +178,10 @@
    1.15  	    {
    1.16  	      if(j!=length)
    1.17  		{
    1.18 +		  if((number-(int)number)>ALMOST_ONE)
    1.19 +		    {
    1.20 +		      number=round(number);
    1.21 +		    }
    1.22  		  int digit=(int)(number/maxpos);
    1.23  		  str[j]=(digit+'0');
    1.24  		  number-=digit*maxpos;