Merging of pot shuffle

2020-11-24 12:57:11 -07:00
parent cd9b574e90 e6d9fc71a9
commit 5b9919153e
11 changed files with 443 additions and 16 deletions
--- a/resources/app/gui/randomize/dungeon/widgets.json
+++ b/resources/app/gui/randomize/dungeon/widgets.json
@@ -22,6 +22,7 @@
        "width": 35
      }
    },
+    "potshuffle": { "type": "checkbox" },
    "experimental": { "type": "checkbox" },
    "dungeon_counters": {
      "type": "selectbox",