2023-01-31 12:34:13 +00:00
|
|
|
function updatePlayerDom() {
|
2023-01-29 16:47:37 +00:00
|
|
|
let list = document.querySelector("#playerList");
|
|
|
|
list.replaceChildren();
|
|
|
|
|
|
|
|
let newDom = document.createElement("li");
|
2023-01-31 12:34:13 +00:00
|
|
|
newDom.textContent = ID + " (you)";
|
|
|
|
newDom.style.color = "grey";
|
2023-01-29 16:47:37 +00:00
|
|
|
list.appendChild(newDom);
|
|
|
|
|
|
|
|
for (let playerId of Object.keys(players)) {
|
|
|
|
if (playerId !== ID) {
|
2023-01-31 12:34:13 +00:00
|
|
|
let newDom = document.createElement("li");
|
2023-01-29 16:47:37 +00:00
|
|
|
newDom.textContent = playerId;
|
|
|
|
list.appendChild(newDom);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|