Opera compatibility fixes

2006-02-24 11:15:30 +01:00
parent 98bea1b163
commit 97dcd654bb
7 changed files with 104 additions and 13 deletions
@@ -380,5 +380,7 @@ function catchupPage() {


 function init() {
+	if (arguments.callee.done) return;
+	arguments.callee.done = true;		
 	document.onkeydown = hotkey_handler;
 }