graph_displayer_canvas.h
changeset 156 c5cdf6690cdf
parent 154 65c1b103443d
child 157 7e6ad28aeb9e
equal deleted inserted replaced
39:ad7867ec87c8 40:97604cdb2ae0
   285 
   285 
   286   ///Returns the actual tool in hand
   286   ///Returns the actual tool in hand
   287   int getActualTool();
   287   int getActualTool();
   288 
   288 
   289   ///Sets node representation settings
   289   ///Sets node representation settings
   290   void setNodeView(bool, double, double, double);
   290   void setNodeView(bool, bool, double, double, double);
   291 
   291 
   292   ///Gets node representation settings
   292   ///Gets node representation settings
   293   void getNodeView(bool &, double&, double&, double&);
   293   void getNodeView(bool &, bool &, double&, double&, double&);
   294 
   294 
   295   ///draws the graph
   295   ///draws the graph
   296 
   296 
   297   ///Called when opening a file.
   297   ///Called when opening a file.
   298   void drawGraph();
   298   void drawGraph();
   384   static const int zoom_step = 5;
   384   static const int zoom_step = 5;
   385 
   385 
   386   ///Is node radius autoscaled
   386   ///Is node radius autoscaled
   387   bool autoscale;
   387   bool autoscale;
   388   
   388   
       
   389   ///Should we track zoomfactor changes
       
   390   bool zoomtrack;
       
   391 
       
   392   ///to store the zoom factor when it was "fixed"
       
   393   double fixed_zoom_factor;
       
   394   
   389   ///Minimum node radius
   395   ///Minimum node radius
   390   double radius_min;
   396   double radius_min;
   391 
   397 
   392   ///Maximum node radius
   398   ///Maximum node radius
   393   double radius_max;
   399   double radius_max;