equal
deleted
inserted
replaced
999 -------------------------- |
999 -------------------------- |
1000 -- other event handlers |
1000 -- other event handlers |
1001 -------------------------- |
1001 -------------------------- |
1002 |
1002 |
1003 function onGameInit() |
1003 function onGameInit() |
1004 GameFlags = 0 + gfRandomOrder |
1004 ClearGameFlags() |
|
1005 EnableGameFlags(gfRandomOrder) |
1005 Theme = "EarthRise" |
1006 Theme = "EarthRise" |
1006 CaseFreq = 0 |
1007 CaseFreq = 0 |
1007 HealthCaseProb = 0 |
1008 HealthCaseProb = 0 |
1008 MinesNum = 0 |
1009 MinesNum = 0 |
1009 Explosives = 0 |
1010 Explosives = 0 |