algobox.h
branchgui
changeset 109 9f8dc346ac6e
parent 108 bf355fd6563e
child 114 0ace7edbb06f
     1.1 --- a/algobox.h	Thu Jan 05 12:30:09 2006 +0000
     1.2 +++ b/algobox.h	Thu Jan 05 16:54:34 2006 +0000
     1.3 @@ -33,7 +33,7 @@
     1.4    void emit_tab_change();
     1.5  
     1.6    void update_tablist( std::vector< std::string > tl );
     1.7 -  void update_maplist( void * );
     1.8 +  void update_maplist( MapStorage * );
     1.9  
    1.10    void nodemaplist_changed(std::string);
    1.11    void edgemaplist_changed(std::string);