No reason to select the output anymore
authorAryeh Gregor <AryehGregor+gitcommit@gmail.com>
Wed, 21 Sep 2011 12:12:57 -0600
changeset 612 d31b94d6e801
parent 611 48cf2f7887d5
child 613 d91d1ebb3394
No reason to select the output anymore

I used to rely on copy-paste to submit the generated tests to the
server, so auto-selecting was handy. But now I use POST, so it's not
useful.
conformancetest/gentest.html
--- a/conformancetest/gentest.html	Wed Sep 21 12:12:25 2011 -0600
+++ b/conformancetest/gentest.html	Wed Sep 21 12:12:57 2011 -0600
@@ -72,7 +72,6 @@
 		+ testOutput.substr(1 + testOutput.lastIndexOf(","))
 		+ "]";
 	document.getElementById("output").value = testOutput;
-	document.getElementById("output").select();
 
 	document.getElementById("test-container").parentNode
 		.removeChild(document.getElementById("test-container"));