This is the complete list of members for World, including all inherited members.

create(const std::string &title, const std::string &desc) (defined in World)	World	static
EditorLevelsetMenu (defined in World)	World	friend
from_directory(const std::string &directory)	World	static
get_basedir() const (defined in World)	World	inline
get_basename() const (defined in World)	World
get_contrib_type() const (defined in World)	World	inline
get_description() const (defined in World)	World	inline
get_title() const (defined in World)	World	inline
get_title_level() const (defined in World)	World	inline
get_worldmap_filename() const (defined in World)	World
hide_from_contribs() const (defined in World)	World	inline
is_levelset() const (defined in World)	World	inline
is_worldmap() const (defined in World)	World	inline
save(bool retry=false) (defined in World)	World