Fix benchmark on Firefox

This commit is contained in:
shortcutme 2019-11-20 14:06:27 +01:00
parent 5aa115c88a
commit 6262c80886
No known key found for this signature in database
GPG key ID: 5B63BAE6CB9613AE

View file

@ -39,7 +39,7 @@ function setState(elem, text) {
} }
} }
formatted = formatted.replace(/(\! Error:.*)/, "<div class='test error'>$1</div>"); formatted = formatted.replace(/(\! Error:.*)/, "<div class='test error'>$1</div>");
formatted = formatted.replace(/(\* Result:.*)/s, "<div class='test summary'>$1</div>"); formatted = formatted.replace(/(\* Result:[^]*)/, "<div class='test summary'>$1</div>");
var is_bottom = document.body.scrollTop + document.body.clientHeight >= document.body.scrollHeight - 5; var is_bottom = document.body.scrollTop + document.body.clientHeight >= document.body.scrollHeight - 5;
elem.innerHTML = formatted.trim(); elem.innerHTML = formatted.trim();
if (is_bottom) if (is_bottom)