algobox.h
branchgui
changeset 116 2bd795bb9984
parent 114 0ace7edbb06f
child 125 e8bf8bbcf75a
     1.1 --- a/algobox.h	Fri Jan 06 23:16:51 2006 +0000
     1.2 +++ b/algobox.h	Mon Jan 09 11:55:47 2006 +0000
     1.3 @@ -46,5 +46,7 @@
     1.4    virtual void build_box();
     1.5  
     1.6    virtual void emit_new_map_signal(bool);
     1.7 +
     1.8 +  void addMapSelector(std::string, bool);
     1.9  };
    1.10  #endif //ALGOBOX_H