added redstone ore

This commit is contained in:
DoomKitty87 2023-08-29 08:45:24 -07:00
parent e462735c6f
commit 86a6970c9c
2 changed files with 5 additions and 0 deletions

File diff suppressed because one or more lines are too long

View file

@ -238,6 +238,9 @@
<input class="priorityform" id="iron" type="radio" value="iron" name="oretype"> <input class="priorityform" id="iron" type="radio" value="iron" name="oretype">
<label class="priorityform" for="iron">Iron</label> <label class="priorityform" for="iron">Iron</label>
<br> <br>
<input class="priorityform" id="redstone" type="radio" value="redstone" name="oretype">
<label class="priorityform" for="redstone">Redstone</label>
<br>
<input class="priorityform" id="gemstone" type="radio" value="gemstone" name="oretype"> <input class="priorityform" id="gemstone" type="radio" value="gemstone" name="oretype">
<label class="priorityform" for="gemstone">Gemstone (Manual)</label> <label class="priorityform" for="gemstone">Gemstone (Manual)</label>
<br> <br>
@ -777,6 +780,7 @@
if (document.getElementById("coal").checked) oreType = "coal"; if (document.getElementById("coal").checked) oreType = "coal";
else if (document.getElementById("gemstone").checked) oreType = "gemstone"; else if (document.getElementById("gemstone").checked) oreType = "gemstone";
else if (document.getElementById("mithril").checked) oreType = "mithril"; else if (document.getElementById("mithril").checked) oreType = "mithril";
else if (document.getElementById("redstone").checked) oreType = "redstone";
else oreType = "iron"; else oreType = "iron";
oreRoute(oreType, document.getElementById("wps").value, document.getElementById("mfore").checked, document.getElementById("minpaddist").value, document.getElementById("originx").value, document.getElementById("originy").value, document.getElementById("originz").value); oreRoute(oreType, document.getElementById("wps").value, document.getElementById("mfore").checked, document.getElementById("minpaddist").value, document.getElementById("originx").value, document.getElementById("originy").value, document.getElementById("originz").value);
} }