branch | gui |
changeset 16 | 319a4fa65e05 |
parent 14 | 39945305a572 |
child 19 | 164783ceb9be |
1.1 --- a/graph_displayer_canvas.h Wed Jun 15 10:19:44 2005 +0000 1.2 +++ b/graph_displayer_canvas.h Wed Jun 15 11:15:01 2005 +0000 1.3 @@ -73,6 +73,8 @@ 1.4 void delete_item(NodeIt); 1.5 ///Deletes the given element. 1.6 void delete_item(EdgeIt); 1.7 + ///Deletes the given element. 1.8 + void delete_item(Graph::Edge); 1.9 1.10 ///The graph, on which we work 1.11 Graph g;