1.1 --- a/gui/graph_displayer_canvas.h	Tue Jun 14 13:55:28 2005 +0000
     1.2 +++ b/gui/graph_displayer_canvas.h	Tue Jun 14 15:58:12 2005 +0000
     1.3 @@ -66,6 +66,11 @@
     1.4    bool create_node_event_handler(GdkEvent*);
     1.5    ///event handler for the case when create_edge-tool is active
     1.6    bool create_edge_event_handler(GdkEvent*);
     1.7 +  ///event handler for the case when eraser-tool is active
     1.8 +  bool eraser_event_handler(GdkEvent*);
     1.9 +
    1.10 +  ///Deletes the given item.
    1.11 +  void delete_item(Gnome::Canvas::Item *);
    1.12  
    1.13    ///The graph, on which we work
    1.14    Graph g;