graph_displayer_canvas.h
branchgui
changeset 13 0b2281cc1e32
parent 11 09b2a893fc9d
child 14 39945305a572
     1.1 --- a/graph_displayer_canvas.h	Mon Jun 13 19:49:33 2005 +0000
     1.2 +++ b/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;