--- a/conformancetest/gentest.html Wed Nov 09 11:55:15 2011 -0700
+++ b/conformancetest/gentest.html Wed Nov 09 11:59:06 2011 -0700
@@ -37,6 +37,8 @@
document.querySelector("[type=radio][value=gecko]").checked = true;
}
+var originalTitle = document.title;
+
var testOutput = '';
function generateTests() {
@@ -45,6 +47,7 @@
testOutput = "var browserTests = [\n";
for (var command in tests) {
+ document.title = "(" + command + ") " + originalTitle;
tests[command].forEach(function(test) {
if (badTests[command].indexOf(test) != -1) {
return;
@@ -66,6 +69,8 @@
});
}
+ document.title = "(submitting) " + originalTitle;
+
// Finish up our JSON. First remove the last comma, since JSON doesn't
// like that, then add a closing bracket.
testOutput = testOutput.substr(0, testOutput.lastIndexOf(","))