Opera compatibility fixes

1 files changed, 3 insertions, 0 deletions

diff --git a/prefs.js b/prefs.js
index f5e5a2ccd..3aa769e5c 100644
--- a/prefs.js
+++ b/prefs.js
@@ -1264,6 +1264,9 @@ function init() {
 
 	try {
 	
+		if (arguments.callee.done) return;
+		arguments.callee.done = true;		
+
 		// IE kludge
 		if (!xmlhttp) {
 			document.getElementById("prefContent").innerHTML =