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);