From 4b8c7d856152df67ddab50327d6da8d68470ec7e Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=B6rn=20Zaefferer?= <joern.zaefferer@gmail.com>
Date: Thu, 14 Jun 2007 22:12:49 +0000
Subject: [PATCH] Removed useless safari workarounds, added rerun-single-test
 feature: just doubleclick on a single test to execute that one, use browser's
 back button get back to executing all

---
 build/test/data/testrunner.js | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/build/test/data/testrunner.js b/build/test/data/testrunner.js
index f0e31e7f0..ba6fc061c 100644
--- a/build/test/data/testrunner.js
+++ b/build/test/data/testrunner.js
@@ -15,10 +15,7 @@ var _config = {
 
 $(function() {
 	$('#userAgent').html(navigator.userAgent);
-	if($.browser.safari)
-		$("h1").append("&nbsp;- Disabled for Safari");
-	else
-		runTest();	
+	runTest();	
 });
 
 function synchronize(callback) {
@@ -67,17 +64,13 @@ function runTest() {
 }
 
 function test(name, callback, nowait) {
-	// safari seems to have some memory problems, so we need to slow it down
-	if($.browser.safari && !nowait) {
-		test("", function() {
-			stop();
-			setTimeout(start, 250);
-		}, true);
-	}
-
 	if(_config.currentModule)
 		name = _config.currentModule + " module: " + name;
 		
+	var filter = location.search.slice(1);
+	if ( filter && encodeURIComponent(name) != filter )
+		return;
+		
 	synchronize(function() {
 		_config.Test = [];
 		try {
@@ -123,7 +116,7 @@ function test(name, callback, nowait) {
 		var li = document.createElement("li");
 		li.className = state;
 	
-		var b = document.createElement("b");
+		var b = document.createElement("strong");
 		b.innerHTML = name + " <b style='color:black;'>(<b class='fail'>" + bad + "</b>, <b class='pass'>" + good + "</b>, " + _config.Test.length + ")</b>";
 		b.onclick = function(){
 			var n = this.nextSibling;
@@ -132,6 +125,13 @@ function test(name, callback, nowait) {
 			else
 				n.style.display = "none";
 		};
+		b.ondblclick = function(event) {
+			var target = jQuery(event.target).filter("strong").clone();
+			if ( target.length ) {
+				target.children().remove();
+				location.href = location.href.match(/^(.+?)(\?.*)?$/)[1] + "?" + encodeURIComponent($.trim(target.text()));
+			}
+		};
 		li.appendChild( b );
 		li.appendChild( ol );
 	
-- 
2.39.5