added new config file options to hide shortcuts sub-menus
[rocksndiamonds.git] / src / files.c
index 5766af0350836a10023c9d23a7773d505a0950a1..de5017197aa2e8c4bb9754ff628082f9b4811f53 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"
@@ -10151,6 +10155,26 @@ static struct TokenInfo internal_setup_tokens[] =
     TYPE_BOOLEAN,
     &setup.internal.menu_save_and_exit,                "menu_save_and_exit"
   },
+  {
+    TYPE_BOOLEAN,
+    &setup.internal.menu_shortcuts_various,    "menu_shortcuts_various"
+  },
+  {
+    TYPE_BOOLEAN,
+    &setup.internal.menu_shortcuts_focus,      "menu_shortcuts_focus"
+  },
+  {
+    TYPE_BOOLEAN,
+    &setup.internal.menu_shortcuts_tape,       "menu_shortcuts_tape"
+  },
+  {
+    TYPE_BOOLEAN,
+    &setup.internal.menu_shortcuts_sound,      "menu_shortcuts_sound"
+  },
+  {
+    TYPE_BOOLEAN,
+    &setup.internal.menu_shortcuts_snap,       "menu_shortcuts_snap"
+  },
   {
     TYPE_BOOLEAN,
     &setup.internal.info_title,                        "info_title"