algowin.cc
branchgui
changeset 113 7c2e71835de7
parent 108 bf355fd6563e
child 114 0ace7edbb06f
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()