added missing config file option to hide game engines setup menu
[rocksndiamonds.git] / src / files.c
index 5766af0350836a10023c9d23a7773d505a0950a1..1cc2d28080321ee0d22ce183bf8a77eaac5f81ca 100644 (file)
@@ -10115,6 +10115,10 @@ static struct TokenInfo internal_setup_tokens[] =
     TYPE_BOOLEAN,
     &setup.internal.menu_game,                 "menu_game"
   },
+  {
+    TYPE_BOOLEAN,
+    &setup.internal.menu_engines,              "menu_engines"
+  },
   {
     TYPE_BOOLEAN,
     &setup.internal.menu_editor,               "menu_editor"