From ef9b26ee6ac1fbd05c14611aa0ee7697de9f2b8c 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 000eec8..0c83319 100644
--- a/play.js
+++ b/play.js
@@ -68,7 +68,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