-#if 0
- { TYPE_SWITCH, &setup.double_buffering,"Buffered gfx:" },
- { TYPE_SWITCH, &setup.fading, "Fading:" },
-#endif
- { TYPE_SWITCH, &setup.quick_doors, "Quick Doors:" },
- { TYPE_SWITCH, &setup.ask_on_escape, "Ask on Esc:" },
- { TYPE_SWITCH, &setup.toons, "Toons:" },
- { TYPE_SWITCH, &setup.autorecord, "Auto-Record:" },
+ { TYPE_LEAVE_MENU, execExitSetup, "Exit" },
+ { TYPE_LEAVE_MENU, execSaveAndExitSetup, "Save and exit" },
+ { 0, NULL, NULL }
+};
+
+static struct TokenInfo setup_info_game[] =
+{