DisplayManager displaymanager;
public:
- static World* current() { return current_; }
- static void set_current(World* w) { current_ = w; }
+ static World* current()
+ { return current_; }
+ static void set_current(World* w)
+ { current_ = w; }
World(const std::string& filename, int level_nr = -1);
~World();
- Level* get_level() { return level; }
- Player* get_tux() { return tux; }
+ Level* get_level()
+ { return level; }
+ Player* get_tux()
+ { return tux; }
void add_object(GameObject* object);