added setup option for fast game start from level editor

[rocksndiamonds.git] / src / screens.c

diff --git a/src/screens.c b/src/screens.c
index d518304b707e0722aa191d6fd4c7c07eb0354c10..0a891b6bb732f5520e2f2f96cb50d34550c7cb5c 100644 (file)
--- a/src/screens.c
+++ b/src/screens.c
@@ -8047,6 +8047,7 @@ static struct TokenInfo setup_info_editor[] =
   { TYPE_EMPTY,                NULL,                           ""                              },
 #endif
   { TYPE_SWITCH, &setup.editor.show_element_token,     "Show element token:"           },
+  { TYPE_SWITCH,       &setup.editor.fast_game_start,  "Fast game start:"              },
   { TYPE_EMPTY,                NULL,                           ""                              },
   { TYPE_SWITCH, &setup.editor.show_read_only_warning, "Show read-only warning:"       },
   { TYPE_EMPTY,                NULL,                           ""                              },