Searched refs:restart_after_game (Results 1 – 12 of 12) sorted by relevance
8 restart_after_game = false
9 restart_after_game = false
11 restart_after_game = false
12 restart_after_game = false
10 restart_after_game = false
99 restart_after_game = false
15 restart_after_game = false
69 tobool(Options.restart_after_game, !crawl_state.bypassed_startup_menu); in crawl_should_restart()
429 maybe_bool restart_after_game; // If true, Crawl will not close on game-end member
1135 restart_after_game = MB_FALSE; in reset_options()1141 restart_after_game = MB_TRUE; in reset_options()1143 restart_after_game = MB_MAYBE; in reset_options()3029 restart_after_game = read_maybe_bool(field); in read_option_line()5073 Options.restart_after_game = MB_FALSE; in parse_args()
591 maybe_to_string(Options.restart_after_game).c_str()); in _dump_options()