Committing RandomGenerator patch from Allen King, with a few small changes

[supertux.git] / src / gameconfig.hpp

diff --git a/src/gameconfig.hpp b/src/gameconfig.hpp
index 109df1a..1602787 100644 (file)
--- a/src/gameconfig.hpp
+++ b/src/gameconfig.hpp
@@ -43,6 +43,8 @@ public:
   bool music_enabled;
   bool cheats_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;
   bool enable_script_debugger;