branch | gui |
changeset 37 | 1dc5b49457c0 |
parent 35 | 79bffdf6aea2 |
child 40 | cebacea4f965 |
1.1 --- a/graph_displayer_canvas.h Fri Jul 22 11:04:27 2005 +0000 1.2 +++ b/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);