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