diff options
Diffstat (limited to 'play.js')
| -rw-r--r-- | play.js | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -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" |