graph_displayer_canvas-node.cc
changeset 156 c5cdf6690cdf
parent 155 74065e83844d
child 157 7e6ad28aeb9e
equal deleted inserted replaced
16:c64519a2161b 17:5d1acf376a66
    34 	    }
    34 	    }
    35 
    35 
    36 	  if(w<5)
    36 	  if(w<5)
    37 	    {
    37 	    {
    38 	      w=5;
    38 	      w=5;
       
    39 	    }
       
    40 
       
    41 	  if(zoomtrack)
       
    42 	    {
       
    43 	      double actual_ppu=get_pixels_per_unit();
       
    44 	      w=(int)(w/actual_ppu*fixed_zoom_factor);
    39 	    }
    45 	    }
    40 
    46 
    41 	  if(w>=0)
    47 	  if(w>=0)
    42 	    {
    48 	    {
    43 	      double x1, y1, x2, y2;
    49 	      double x1, y1, x2, y2;
    93 	    }
    99 	    }
    94 	  else
   100 	  else
    95 	    {
   101 	    {
    96 	      w=(int)(MIN_NODE_RADIUS+(v-min)/(max-min)*(MAX_NODE_RADIUS-MIN_NODE_RADIUS));
   102 	      w=(int)(MIN_NODE_RADIUS+(v-min)/(max-min)*(MAX_NODE_RADIUS-MIN_NODE_RADIUS));
    97 	    }
   103 	    }
       
   104 	  if(zoomtrack)
       
   105 	    {
       
   106 	      double actual_ppu=get_pixels_per_unit();
       
   107 	      w=(int)(w/actual_ppu*fixed_zoom_factor);
       
   108 	    }
    98 	  if(w>=0)
   109 	  if(w>=0)
    99 	    {
   110 	    {
   100 	      double x1, y1, x2, y2;
   111 	      double x1, y1, x2, y2;
   101 	      x1=nodesmap[i]->property_x1().get_value();
   112 	      x1=nodesmap[i]->property_x1().get_value();
   102 	      x2=nodesmap[i]->property_x2().get_value();
   113 	      x2=nodesmap[i]->property_x2().get_value();