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.

1 files 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)
     }
 }