mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
minibar.js: bug fix: the To: menu wasn't updated properly when switching grammars
This commit is contained in:
@@ -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"))
|
||||
|
||||
Reference in New Issue
Block a user