diff options
Diffstat (limited to 'play.js')
-rw-r--r-- | play.js | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -321,9 +321,7 @@ function for_each_side_in_path(path, fn) { } function on_focus_hex(evt) { - let h = evt.target.hex - let text = "(" + h + ") " + hex_name[h] - document.getElementById("status").textContent = text + document.getElementById("status").textContent = hex_name[evt.target.hex] } const unit_description = [] @@ -1095,6 +1093,10 @@ function on_log(text) { text = text.substring(4) p.className = "h3" } + if (text.match(/^\.h4/)) { + text = text.substring(4) + p.className = "h4" + } if (text.indexOf("\n") < 0) { p.innerHTML = text |