equal
deleted
inserted
replaced
64 bool move_event_handler(GdkEvent*); |
64 bool move_event_handler(GdkEvent*); |
65 ///event handler for the case when create_node-tool is active |
65 ///event handler for the case when create_node-tool is active |
66 bool create_node_event_handler(GdkEvent*); |
66 bool create_node_event_handler(GdkEvent*); |
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 |
|
70 bool eraser_event_handler(GdkEvent*); |
|
71 |
|
72 ///Deletes the given item. |
|
73 void delete_item(Gnome::Canvas::Item *); |
69 |
74 |
70 ///The graph, on which we work |
75 ///The graph, on which we work |
71 Graph g; |
76 Graph g; |
72 |
77 |
73 ///Map of nodes of graph |
78 ///Map of nodes of graph |