+static int game_is_solved(game_state *state)
+{
+ /*
+ * If the player has died, we don't list the game as solved,
+ * because they're more likely to undo and carry on than to give
+ * up and start a new game.
+ */
+ return !state->gems;
+}
+
FALSE, FALSE, game_print_size, game_print,
TRUE, /* wants_statusbar */
FALSE, game_timing_state,
FALSE, FALSE, game_print_size, game_print,
TRUE, /* wants_statusbar */
FALSE, game_timing_state,