gui/graph_displayer_canvas.h
changeset 1494 ae55ba000ebb
parent 1485 3a1c6678fa23
child 1496 c60369a1c987
equal deleted inserted replaced
6:2f2a59839b7c 7:b6f6f9c03111
    67   ///event handler for the case when create_edge-tool is active
    67   ///event handler for the case when create_edge-tool is active
    68   bool create_edge_event_handler(GdkEvent*);
    68   bool create_edge_event_handler(GdkEvent*);
    69   ///event handler for the case when eraser-tool is active
    69   ///event handler for the case when eraser-tool is active
    70   bool eraser_event_handler(GdkEvent*);
    70   bool eraser_event_handler(GdkEvent*);
    71 
    71 
    72   ///Deletes the given item.
    72   ///Deletes the given element.
    73   void delete_item(Gnome::Canvas::Item *);
    73   void delete_item(NodeIt);
       
    74   ///Deletes the given element.
       
    75   void delete_item(EdgeIt);
    74 
    76 
    75   ///The graph, on which we work
    77   ///The graph, on which we work
    76   Graph g;
    78   Graph g;
    77 
    79 
    78   ///Map of nodes of graph
    80   ///Map of nodes of graph