graph_displayer_canvas-node.cc
changeset 156 c5cdf6690cdf
parent 155 74065e83844d
child 157 7e6ad28aeb9e
     1.1 --- a/graph_displayer_canvas-node.cc	Thu Sep 28 09:26:48 2006 +0000
     1.2 +++ b/graph_displayer_canvas-node.cc	Thu Sep 28 14:32:40 2006 +0000
     1.3 @@ -38,6 +38,12 @@
     1.4  	      w=5;
     1.5  	    }
     1.6  
     1.7 +	  if(zoomtrack)
     1.8 +	    {
     1.9 +	      double actual_ppu=get_pixels_per_unit();
    1.10 +	      w=(int)(w/actual_ppu*fixed_zoom_factor);
    1.11 +	    }
    1.12 +
    1.13  	  if(w>=0)
    1.14  	    {
    1.15  	      double x1, y1, x2, y2;
    1.16 @@ -95,6 +101,11 @@
    1.17  	    {
    1.18  	      w=(int)(MIN_NODE_RADIUS+(v-min)/(max-min)*(MAX_NODE_RADIUS-MIN_NODE_RADIUS));
    1.19  	    }
    1.20 +	  if(zoomtrack)
    1.21 +	    {
    1.22 +	      double actual_ppu=get_pixels_per_unit();
    1.23 +	      w=(int)(w/actual_ppu*fixed_zoom_factor);
    1.24 +	    }
    1.25  	  if(w>=0)
    1.26  	    {
    1.27  	      double x1, y1, x2, y2;