From 75144d2f7ad371de0254500f9999a5269ed0b774 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 16 May 2012 11:53:27 +0000
Subject: [PATCH] translator: bug fix

My menu hiding hack didn't work in Gecko browsers because of a difference in
the behaviour of the JavaScript setTimeout function.
---
 src/www/translator/translator.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/www/translator/translator.js b/src/www/translator/translator.js
index a599b8d4a..eeb8515a6 100644
--- a/src/www/translator/translator.js
+++ b/src/www/translator/translator.js
@@ -261,10 +261,10 @@ Translator.prototype.edit_translation=function(i) {
 }
 
 function hide_menu(el) {
-    function disp(s) { el.parentNode.style.display=s||""; }
+    function disp(s) { el.parentNode.style.display=s; }
     if(el) {
 	disp("none")
-	setTimeout(disp,500)
+	setTimeout(function(){disp("")},500)
     }
 }