From 48dd3c43c2c6cb5e41382377cdd7c4b2214edadd Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Fri, 21 Mar 2025 22:19:43 +0100
Subject: Fix display of player tokens on fronts.

---
 play.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/play.js b/play.js
index 1138ffd..2d42f0b 100644
--- a/play.js
+++ b/play.js
@@ -403,7 +403,7 @@ function update_front(status_card, str_container, con_container, front, front_id
 		con_container.appendChild(e)
 	}
 
-	for (i of ["a", "c", "m"]) {
+	for (i = 0; i < 3; ++i) {
 		if (front.contributions.includes(i)) {
 			e = document.createElement("div")
 			e.className = "red token player " + faction_class[i]
@@ -578,7 +578,7 @@ function on_update() { // eslint-disable-line no-unused-vars
 	action_button("confirm", "Confirm")
 	action_button("done", "Done")
 
-	action_button("spend_hp", "Hero Points")
+	action_button("spend_hp", "Use Hero Points")
 
 	action_button("end_turn", "End Turn")
 	action_button("undo", "Undo")
-- 
cgit v1.2.3