new_map_win.h
branchgui
changeset 117 004b239908e6
parent 96 e664d8aa3f72
child 120 9166130d8d56
     1.1 --- a/new_map_win.h	Mon Jan 09 11:55:47 2006 +0000
     1.2 +++ b/new_map_win.h	Mon Jan 09 12:41:06 2006 +0000
     1.3 @@ -28,7 +28,7 @@
     1.4    
     1.5    ///Constructor of NewMapWin creates the widgets shown in NewMapWin.
     1.6    NewMapWin(const std::string& title, NoteBookTab &, bool itisedge=true, bool edgenode=true);
     1.7 -  
     1.8 +
     1.9    ///Signal on button is connected to this function,
    1.10    ///Therefore this function determines whether to
    1.11    ///call the map/creatort function, and if yes, it
    1.12 @@ -47,6 +47,8 @@
    1.13  
    1.14    bool validVariable(std::string, bool);
    1.15  
    1.16 +  void deleteTree(tree_node *);
    1.17 +
    1.18    std::map<char, std::string> ch2var;
    1.19  
    1.20    Gtk::Entry name, default_value;