{
  "widgets": {
    "dungeondoorshuffle": {
      "type": "selectbox",
      "default": "basic",
      "options": [
        "vanilla",
        "basic",
        "crossed"
      ]
    },
    "dungeonintensity": {
      "type": "selectbox",
      "default": "2",
      "options": [
        "1",
        "2",
        "3",
        "random"
      ],
      "config": {
        "width": 40
      }
    },
    "experimental": { "type": "checkbox" },
    "dungeon_counters": {
      "type": "selectbox",
      "default": "default",
      "options": [
        "default",
        "off",
        "on",
        "pickup"
      ]
    }
  }
}