graph_displayer_canvas.h
changeset 154 65c1b103443d
parent 151 72f1c33f89d4
child 156 c5cdf6690cdf
     1.1 --- a/graph_displayer_canvas.h	Mon Sep 25 12:08:35 2006 +0000
     1.2 +++ b/graph_displayer_canvas.h	Mon Sep 25 15:30:04 2006 +0000
     1.3 @@ -286,6 +286,12 @@
     1.4    ///Returns the actual tool in hand
     1.5    int getActualTool();
     1.6  
     1.7 +  ///Sets node representation settings
     1.8 +  void setNodeView(bool, double, double, double);
     1.9 +
    1.10 +  ///Gets node representation settings
    1.11 +  void getNodeView(bool &, double&, double&, double&);
    1.12 +
    1.13    ///draws the graph
    1.14  
    1.15    ///Called when opening a file.
    1.16 @@ -377,6 +383,18 @@
    1.17  
    1.18    static const int zoom_step = 5;
    1.19  
    1.20 +  ///Is node radius autoscaled
    1.21 +  bool autoscale;
    1.22 +  
    1.23 +  ///Minimum node radius
    1.24 +  double radius_min;
    1.25 +
    1.26 +  ///Maximum node radius
    1.27 +  double radius_max;
    1.28 +
    1.29 +  ///Node radius unit
    1.30 +  double radius_unit;
    1.31 +
    1.32  private:
    1.33  
    1.34    ///reference to the container, in which the canvas is