diff options
Diffstat (limited to 'play.js')
-rw-r--r-- | play.js | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -638,12 +638,14 @@ function update_map() { elt.className = "minefield" ui.minefields_holder.appendChild(elt) } - for (let i = view.minefields.length; i < ui.minefields.length; ++i) - ui.minefields[i].remove() for (let i = 0; i < view.minefields.length; ++i) { let hex = view.minefields[i] ui.minefields[i].style.left = (ui.hex_x[hex] - 40) + "px" ui.minefields[i].style.top = (ui.hex_y[hex] + 4) + "px" + ui.minefields_holder.appendChild(ui.minefields[i]) + } + for (let i = view.minefields.length; i < ui.minefields.length; ++i) { + ui.minefields[i].remove() } } else { for (let i = 0; i < ui.minefields.length; ++i) @@ -859,6 +861,7 @@ function on_update() { action_button("replacement", "Replacement") action_button("refit", "Refit") action_button("minefield", "Minefield") + action_button("dismantle", "Dismantle") action_button("extra_supply_card", "Card") action_button("group", "Group") |