{
  "dungeondoorshuffle": {
    "type": "selectbox",
    "managerAttrs": {
      "default": "basic"
    },
    "options": [
      "vanilla",
      "basic",
      "crossed"
    ]
  },
  "experimental": { "type": "checkbox" },
  "dungeon_counters": {
    "type": "selectbox",
    "managerAttrs": {
      "default": "default"
    },
    "options": [
      "default",
      "off",
      "on",
      "pickup"
    ]
  }
}