From 9cbb9e66b442fd5cee45627de351c8c8bd43da75 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 0477792..241ce49 100644
--- a/play.js
+++ b/play.js
@@ -48,7 +48,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