diff options
author | Mischa Untaga <99098079+MischaU8@users.noreply.github.com> | 2023-09-22 20:15:25 +0200 |
---|---|---|
committer | Mischa Untaga <99098079+MischaU8@users.noreply.github.com> | 2023-09-22 20:15:25 +0200 |
commit | b2bbd7b18a25ac0f63b7ffdfbf391df836887e66 (patch) | |
tree | 24fede19ee22a4bf6145c9ef06777291d8e3d93d | |
parent | a7c0f13ba877954eebf1a64f576ca6a27bec8574 (diff) | |
download | algeria-b2bbd7b18a25ac0f63b7ffdfbf391df836887e66.tar.gz |
logging
-rw-r--r-- | play.js | 18 |
1 files changed, 9 insertions, 9 deletions
@@ -149,17 +149,17 @@ function on_update() { function on_log(text) { let p = document.createElement("div") - if (text.match(/^\.r /)) { - text = text.substring(3) - p.className = 'h1 r' + if (text.match(/^\.h1/)) { + text = text.substring(4) + p.className = 'h1' } - else if (text.match(/^\.b /)) { - text = text.substring(3) - p.className = 'h1 b' + else if (text.match(/^\.h2/)) { + text = text.substring(4) + p.className = 'h2' } - else if (text.match(/^\.x /)) { - text = text.substring(3) - p.className = 'h1 x' + else if (text.match(/^\.h3/)) { + text = text.substring(4) + p.className = 'h3' } p.innerHTML = text |