gui/algobox.h
changeset 1886 8b225c2935e7
parent 1884 9c061834b33b
child 1896 92ef660710f1
equal deleted inserted replaced
4:715950b75f0b 5:8d36b04d7f1c
    44   virtual void run();
    44   virtual void run();
    45   
    45   
    46   virtual void build_box();
    46   virtual void build_box();
    47 
    47 
    48   virtual void emit_new_map_signal(bool);
    48   virtual void emit_new_map_signal(bool);
       
    49 
       
    50   void addMapSelector(std::string, bool);
    49 };
    51 };
    50 #endif //ALGOBOX_H
    52 #endif //ALGOBOX_H