Merged in DR v1.2.0.8

2023-02-18 19:32:38 -06:00
parent f493709cfe 9a71e56546
commit ab5f348f77
33 changed files with 902 additions and 156 deletions
--- a/resources/app/gui/randomize/dungeon/widgets.json
+++ b/resources/app/gui/randomize/dungeon/widgets.json
@@ -33,7 +33,7 @@
    },
    "door_type_mode": {
      "type": "selectbox",
-      "default": "basic",
+      "default": "original",
      "options": [
        "original",
        "big",
@@ -44,6 +44,28 @@
        "width": 45
      }
    },
+    "trap_door_mode": {
+      "type": "selectbox",
+      "default": "optional",
+      "options": [
+        "vanilla",
+        "optional",
+        "boss",
+        "oneway"
+      ],
+      "config": {
+        "width": 30
+      }
+    },
+    "key_logic_algorithm": {
+      "type": "selectbox",
+      "default": "default",
+      "options": [
+        "default",
+        "partial",
+        "strict"
+      ]
+    },
    "decoupledoors": { "type": "checkbox" },
    "keydropshuffle": { "type": "checkbox" },
    "pottery": {