changeset 1585 | 0e3ef435bdc3 |
parent 1579 | ed7da82bbecf |
child 1589 | 9192e1b26d32 |
1.1 --- a/gui/graph_displayer_canvas.h Fri Jul 22 16:57:07 2005 +0000 1.2 +++ b/gui/graph_displayer_canvas.h Mon Jul 25 10:33:03 2005 +0000 1.3 @@ -109,6 +109,11 @@ 1.4 ///\return the actual tool in hand 1.5 int getActualTool(); 1.6 1.7 + ///creates a new Nodemap 1.8 + void addNewNodeMap(); 1.9 + ///creates a new Edgemap 1.10 + void addNewEdgeMap(); 1.11 + 1.12 private: 1.13 ///Deletes the given element. 1.14 void deleteItem(NodeIt);