graph_displayer_canvas-node.cc
changeset 155 74065e83844d
parent 154 65c1b103443d
child 156 c5cdf6690cdf
     1.1 --- a/graph_displayer_canvas-node.cc	Mon Sep 25 15:30:04 2006 +0000
     1.2 +++ b/graph_displayer_canvas-node.cc	Thu Sep 28 09:26:48 2006 +0000
     1.3 @@ -1,6 +1,7 @@
     1.4  #include "graph_displayer_canvas.h"
     1.5  #include <cmath>
     1.6  
     1.7 +const int minimum_node_radius=0;
     1.8  
     1.9  int GraphDisplayerCanvas::changeNodeRadius (std::string mapname, Node node)
    1.10  {
    1.11 @@ -24,13 +25,19 @@
    1.12  		}
    1.13  	      else
    1.14  		{
    1.15 -		  w=(int)(radius_min+(v-min)/(max-min)*(radius_max-radius_min));
    1.16 +		  w=(int)(minimum_node_radius+(v-min)/(max-min)*(radius_max-minimum_node_radius));
    1.17  		}
    1.18  	    }
    1.19  	  else
    1.20  	    {
    1.21 -	      w=5+(int)(v/radius_unit);
    1.22 +	      w=(int)(v*radius_max);
    1.23  	    }
    1.24 +
    1.25 +	  if(w<5)
    1.26 +	    {
    1.27 +	      w=5;
    1.28 +	    }
    1.29 +
    1.30  	  if(w>=0)
    1.31  	    {
    1.32  	      double x1, y1, x2, y2;