From c4f8fa82b719f2306af0eed09c119b6ee288e25f Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 28 Oct 2010 11:53:50 +0000
Subject: [PATCH] minibar.js: bug fix: the To: menu wasn't updated properly
 when switching grammars

---
 src/runtime/javascript/minibar/minibar.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js
index b96d7c56b..a2904823b 100644
--- a/src/runtime/javascript/minibar/minibar.js
+++ b/src/runtime/javascript/minibar/minibar.js
@@ -102,7 +102,7 @@ function start_minibar(server,opts,target) {
 	set_initial_language(options,menu,grammar)
 	to_menu.onchange=get_translations
 
-	to_menu.innerHMTL="";
+	to_menu.innerHTML="";
 	to_menu.appendChild(option("All","-1"));
 	for(var i=0; i<lang.length; i++)
 	    if(!hasPrefix(lang[i].name,"Disamb"))