From 3445bae2ed395cbd55e14163946fba54eb997a3e Mon Sep 17 00:00:00 2001 From: iainp5 Date: Mon, 10 Mar 2025 17:49:37 +0000 Subject: Add pass banner --- play.js | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'play.js') diff --git a/play.js b/play.js index 7d65c56..4bdf51b 100644 --- a/play.js +++ b/play.js @@ -1043,6 +1043,10 @@ function on_log(text, ix) { text = text.replace(".S.d", "") p.className = "h2 dem" log_event = 0 + } else if (text.match(/^\.P\.d/)) { + text = "passed" + p.className = "h2 dem" + log_event = 0 } else if (text.match(/^\.O\.c/)) { text = "operations" p.className = "h2 com" @@ -1059,6 +1063,10 @@ function on_log(text, ix) { text = text.replace(".S.c", "") p.className = "h2 com" log_event = 0 + } else if (text.match(/^\.P\.c/)) { + text = "passed" + p.className = "h2 com" + log_event = 0 } else if (text.match(/\.c/)) { text = text.replace(".c", "") p.className = "h2 com" -- cgit v1.2.3