gui/algowin.cc
changeset 1879 01d41844ef46
parent 1878 409a31271efd
child 1884 9c061834b33b
equal deleted inserted replaced
1:e7daa860ecb0 2:7239a596dd5d
    69 void AlgoWin::update_tablist(std::vector<std::string> tabnames)
    69 void AlgoWin::update_tablist(std::vector<std::string> tabnames)
    70 {
    70 {
    71   ab->update_tablist(tabnames);
    71   ab->update_tablist(tabnames);
    72 }
    72 }
    73 
    73 
    74 void AlgoWin::update_maplist(void * mapstorage)
    74 void AlgoWin::update_maplist(MapStorage * mapstorage)
    75 {
    75 {
    76   ab->update_maplist(mapstorage);
    76   ab->update_maplist(mapstorage);
    77 }
    77 }
    78 
    78 
    79 void AlgoWin::on_hide()
    79 void AlgoWin::on_hide()