diff options
-rw-r--r-- | play.js | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -60,7 +60,7 @@ let ui = { }; let was_blank = true; -create_log_entry = function (text) { +function on_log(text) { let p = document.createElement("div"); text = text.replace(/&/g, "&"); text = text.replace(/</g, "<"); |