diff options
| author | Mischa Untaga <99098079+MischaU8@users.noreply.github.com> | 2023-10-25 10:16:27 +0200 |
|---|---|---|
| committer | Mischa Untaga <99098079+MischaU8@users.noreply.github.com> | 2023-10-25 10:16:27 +0200 |
| commit | 674846daab06be436a07892d5e99cd917477e1d7 (patch) | |
| tree | 3e4f72f62740df8e43c4ce617e7941357b2a3223 /play.js | |
| parent | e45973da094e1f827701e59cd3a2de274a5051bc (diff) | |
| download | algeria-674846daab06be436a07892d5e99cd917477e1d7.tar.gz | |
log_sep
Diffstat (limited to 'play.js')
| -rw-r--r-- | play.js | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -804,6 +804,9 @@ function on_log(text) { // eslint-disable-line no-unused-vars else if (text.match(/^\.h3/)) { text = text.substring(4) p.className = 'h3' + } else if (text.match(/^.hr$/)) { + p.className = "hr"; + text = ""; } p.innerHTML = text |