1.1 --- a/graph_displayer_canvas.h Tue Jun 14 15:58:12 2005 +0000
1.2 +++ b/graph_displayer_canvas.h Tue Jun 14 16:56:37 2005 +0000
1.3 @@ -69,8 +69,10 @@
1.4 ///event handler for the case when eraser-tool is active
1.5 bool eraser_event_handler(GdkEvent*);
1.6
1.7 - ///Deletes the given item.
1.8 - void delete_item(Gnome::Canvas::Item *);
1.9 + ///Deletes the given element.
1.10 + void delete_item(NodeIt);
1.11 + ///Deletes the given element.
1.12 + void delete_item(EdgeIt);
1.13
1.14 ///The graph, on which we work
1.15 Graph g;