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;