Merged in DR v0.4.0.4

2021-05-24 18:16:02 -05:00
parent 63eabfa2a1 fff7cd691e
commit 8545f6696d
20 changed files with 193 additions and 52 deletions
--- a/resources/app/gui/randomize/entrando/widgets.json
+++ b/resources/app/gui/randomize/entrando/widgets.json
@@ -18,6 +18,7 @@
        "dungeonsfull",
        "dungeonssimple"
      ]
-    }
+    },
+    "shufflelinks":     { "type": "checkbox" }
  }
 }