public:
Config();
~Config();
-
+
void load();
void save();
bool show_fps;
bool sound_enabled;
bool music_enabled;
- bool cheats_enabled;
+ bool console_enabled;
+
+ int random_seed; // initial random seed. 0 ==> set from time()
/** this variable is set if supertux should start in a specific level */
std::string start_level;