diff options
-rw-r--r-- | public/common/client.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/public/common/client.js b/public/common/client.js index 367cbb0..229f8ae 100644 --- a/public/common/client.js +++ b/public/common/client.js @@ -581,7 +581,10 @@ let is_your_turn = false let old_active = null function on_update_header() { - document.getElementById("prompt").textContent = view.prompt + if (typeof on_prompt === "function") + document.getElementById("prompt").innerHTML = on_prompt(view.prompt) + else + document.getElementById("prompt").textContent = view.prompt if (params.mode === "replay") return if (snap_view) |