// special case: set custom artwork setting to initial value
game.use_masked_elements = game.use_masked_elements_initial;
// special case: set custom artwork setting to initial value
game.use_masked_elements = game.use_masked_elements_initial;
// Important note: This function is not only called after "GameWon()", but also after
// "game over" (if automatically asking for restarting the game is disabled in setup)
// Important note: This function is not only called after "GameWon()", but also after
// "game over" (if automatically asking for restarting the game is disabled in setup)
// ----------------------------------------------------------------------------
// random generator functions
// ----------------------------------------------------------------------------
// random generator functions