gui/graph_displayer_canvas-edge.cc
changeset 1581 9bb83c7f479b
parent 1579 ed7da82bbecf
child 1589 9192e1b26d32
equal deleted inserted replaced
3:39198ec0d48a 4:d71f94e66d11
   134       
   134       
   135 	      for(int j=0;j<strl;j++)
   135 	      for(int j=0;j<strl;j++)
   136 		{
   136 		{
   137 		  if(j!=length)
   137 		  if(j!=length)
   138 		    {
   138 		    {
       
   139 		      if((number-(int)number)>ALMOST_ONE)
       
   140 			{
       
   141 			  number=round(number);
       
   142 			}
   139 		      int digit=(int)(number/maxpos);
   143 		      int digit=(int)(number/maxpos);
   140 		      str[j]=(digit+'0');
   144 		      str[j]=(digit+'0');
   141 		      number-=digit*maxpos;
   145 		      number-=digit*maxpos;
   142 		      number*=10;
   146 		      number*=10;
   143 		    }
   147 		    }
   172       
   176       
   173 	  for(int j=0;j<strl;j++)
   177 	  for(int j=0;j<strl;j++)
   174 	    {
   178 	    {
   175 	      if(j!=length)
   179 	      if(j!=length)
   176 		{
   180 		{
       
   181 		  if((number-(int)number)>ALMOST_ONE)
       
   182 		    {
       
   183 		      number=round(number);
       
   184 		    }
   177 		  int digit=(int)(number/maxpos);
   185 		  int digit=(int)(number/maxpos);
   178 		  str[j]=(digit+'0');
   186 		  str[j]=(digit+'0');
   179 		  number-=digit*maxpos;
   187 		  number-=digit*maxpos;
   180 		  number*=10;
   188 		  number*=10;
   181 		}
   189 		}