branch | gui |
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);