From d9a7e1e6415a8af10628230335369610cec98f44 Mon Sep 17 00:00:00 2001 From: Tor Andersson Date: Sun, 10 Dec 2023 19:43:59 +0100 Subject: New player list. --- play.js | 18 +----------------- 1 file changed, 1 insertion(+), 17 deletions(-) (limited to 'play.js') diff --git a/play.js b/play.js index f051aa5..f58fbe9 100644 --- a/play.js +++ b/play.js @@ -706,12 +706,6 @@ let ui = { played: document.getElementById("played"), market: document.getElementById("market"), pieces: document.getElementById("pieces"), - player_info: [ - document.querySelector("#role_Red .role_vp"), - document.querySelector("#role_Blue .role_vp"), - document.querySelector("#role_Yellow .role_vp"), - document.querySelector("#role_Green .role_vp"), - ], legacy: [ document.getElementById("red_legacy"), document.getElementById("blue_legacy"), @@ -1110,23 +1104,13 @@ function on_update() { let t = view.legacy[p] + " (" + view.emperor_turns[p] + ")" if (p === view.first) t = "\u2756 " + t - ui.player_info[p].textContent = t + roles[PLAYER_NAME[p]].stat.textContent = t } ui.body.classList.toggle("p2", player_count === 2) ui.body.classList.toggle("p3", player_count === 3) ui.body.classList.toggle("p4", player_count === 4) - if (player_count < 4) - hide(document.getElementById("role_Green")) - else - show(document.getElementById("role_Green")) - - if (player_count < 3) - hide(document.getElementById("role_Yellow")) - else - show(document.getElementById("role_Yellow")) - combat_width = BATTLE_MIN for (let pi = 0; pi < player_count; ++pi) { -- cgit v1.2.3