gui/graph_displayer_canvas.h
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);