gui/algobox.h
changeset 1886 8b225c2935e7
parent 1884 9c061834b33b
child 1896 92ef660710f1
     1.1 --- a/gui/algobox.h	Fri Jan 06 23:16:51 2006 +0000
     1.2 +++ b/gui/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