forked from GitHub/gf-core
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:
@@ -140,7 +140,14 @@ function show_languages(grammar) {
|
|||||||
for(var i=0; i<lang.length; i++)
|
for(var i=0; i<lang.length; i++)
|
||||||
if(/*lang[i].canParse &&*/ !hasPrefix(lang[i].name,"Disamb"))
|
if(/*lang[i].canParse &&*/ !hasPrefix(lang[i].name,"Disamb"))
|
||||||
menu.appendChild(option(langpart(lang[i].name,grammar.name),""+i));
|
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++) {
|
for(var i=0;i<menu.options.length;i++) {
|
||||||
var ix=menu.options[i].value;
|
var ix=menu.options[i].value;
|
||||||
var l=langpart(menu.grammar.languages[ix].name,menu.grammar.name);
|
var l=langpart(menu.grammar.languages[ix].name,menu.grammar.name);
|
||||||
|
|||||||
Reference in New Issue
Block a user