From d98cd5504d2b0d1f36c7950b12013e92af83f1ca Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Tue, 8 Apr 2025 23:48:40 +0200
Subject: fatter charge arrow

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

(limited to 'play.js')

diff --git a/play.js b/play.js
index e8d45ef..ab25b59 100644
--- a/play.js
+++ b/play.js
@@ -1399,6 +1399,8 @@ function on_log(text) {
                 p.className = "indent"
         }
 
+	text = text.replace(/->/g, "\u2794")
+
 	text = text.replace(/&/g, "&amp;")
 	text = text.replace(/</g, "&lt;")
 	text = text.replace(/>/g, "&gt;")
-- 
cgit v1.2.3