equal
deleted
inserted
replaced
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 |