minibar.js: bug fix: the To: menu wasn't updated properly when switching grammars

This commit is contained in:
hallgren
2010-10-28 11:53:50 +00:00
parent 559403eba5
commit c4f8fa82b7

View File

@@ -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"))