graph_displayer_canvas.h
changeset 166 302d75b08b27
parent 160 14a76109b561
child 172 fc1e478697d3
     1.1 --- a/graph_displayer_canvas.h	Fri Oct 13 15:31:58 2006 +0000
     1.2 +++ b/graph_displayer_canvas.h	Mon Oct 16 13:05:25 2006 +0000
     1.3 @@ -417,6 +417,13 @@
     1.4  
     1.5    ///Propulsation factor during graph design
     1.6    double propulsation;
     1.7 +
     1.8 +  ///Was redesign run on this graph already?
     1.9 +  ///
    1.10 +  ///If not, the layout will be modified randomly
    1.11 +  ///to avoid frozen layout because of wrong
    1.12 +  ///initial state
    1.13 +  bool was_redesigned;
    1.14    
    1.15  private:
    1.16