1.1 --- a/gui/algowin.h	Thu Jan 05 01:54:24 2006 +0000
     1.2 +++ b/gui/algowin.h	Thu Jan 05 12:30:09 2006 +0000
     1.3 @@ -31,10 +31,10 @@
     1.4  
     1.5    void emit_tab_change(std::string);
     1.6  
     1.7 -  AlgoWin(int, std::vector<std::string>, std::vector<std::string>, std::vector<std::string>);
     1.8 +  AlgoWin(int, std::vector<std::string>);
     1.9  
    1.10    void update_tablist(std::vector<std::string> tabnames);
    1.11 -  void update_maplist(std::vector<std::string>, std::vector<std::string>);
    1.12 +  void update_maplist( void *);
    1.13  
    1.14    void on_hide();
    1.15  };