minibar: default input language is now the user's preferred language, if possible

This is implemented using the userLanguage field in the grammar info output by
pgf-server.
This commit is contained in:
hallgren
2010-09-10 11:03:46 +00:00
parent 46da64cc72
commit e13e47be8a

View File

@@ -140,7 +140,14 @@ function show_languages(grammar) {
for(var i=0; i<lang.length; i++)
if(/*lang[i].canParse &&*/ !hasPrefix(lang[i].name,"Disamb"))
menu.appendChild(option(langpart(lang[i].name,grammar.name),""+i));
if(options.default_source_language) {
if(grammar.userLanguage) {
for(var i=0;i<menu.options.length;i++) {
var ix=menu.options[i].value;
var l=menu.grammar.languages[ix].name;
if(l==grammar.userLanguage) menu.selectedIndex=i;
}
}
else if(options.default_source_language) {
for(var i=0;i<menu.options.length;i++) {
var ix=menu.options[i].value;
var l=langpart(menu.grammar.languages[ix].name,menu.grammar.name);