graph_displayer_canvas.h
changeset 172 fc1e478697d3
parent 166 302d75b08b27
child 174 95872af46fc4
     1.1 --- a/graph_displayer_canvas.h	Tue Oct 24 07:31:31 2006 +0000
     1.2 +++ b/graph_displayer_canvas.h	Wed Oct 25 13:21:24 2006 +0000
     1.3 @@ -325,6 +325,9 @@
     1.4    void set_propulsation(double);
     1.5    void set_iteration(int);
     1.6  
     1.7 +  ///Show whether the graph is already drawn.
     1.8 +  bool is_drawn;
     1.9 +
    1.10  private:
    1.11    ///Deletes the given element.
    1.12    void deleteItem(Node);