std::auto_ptr<World> main_world;
std::vector<World*> contrib_worlds;
std::auto_ptr<Menu> addons_menu;
- std::vector<Addon> addons;
+ std::vector<Addon> addons; /**< shown list of Add-ons */
+ std::vector<Addon> available_addons; /**< list of downloadable Add-ons */
+ std::vector<Addon> installed_addons; /**< list of currently installed Add-ons */
World* current_world;
std::auto_ptr<CodeController> controller;