From 198a0be104cfbcbd625bed36b57f65a970d991a9 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Sat, 5 Mar 2022 11:09:03 +0100
Subject: Change create_log_entry to on_log.

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

diff --git a/play.js b/play.js
index 6dd085e..c6cffa9 100644
--- a/play.js
+++ b/play.js
@@ -59,7 +59,7 @@ let ui = {
 	present: new Set(),
 }
 
-create_log_entry = function (text) {
+function on_log(text) {
 	let p = document.createElement("div");
 	text = text.replace(/&/g, "&amp;");
 	text = text.replace(/</g, "&lt;");
-- 
cgit v1.2.3