GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 03:32:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

New minibar option: default_source_language

Browse Source
This commit is contained in:
hallgren
2010-06-02 13:59:38 +00:00
parent 86da023392
commit e5bc4328cb
2 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/runtime/javascript/minibar/minibar.js
View File

@@ -15,6 +15,7 @@ var options={
show_trees: false, show_trees: false,
show_grouped_translations: true, show_grouped_translations: true,
delete_button_text: "⌫", delete_button_text: "⌫",
default_source_language: null,
try_google: true, try_google: true,
feedback_url: null, feedback_url: null,
help_url: null help_url: null
@@ -142,7 +143,13 @@ 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) {
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);
if(l==options.default_source_language) menu.selectedIndex=i;
}
}
var to=element("to_menu"); var to=element("to_menu");
to.langmenu=menu; to.langmenu=menu;
to.setAttribute("onchange","change_tolang(this)"); to.setAttribute("onchange","change_tolang(this)");

3
src/runtime/javascript/minibar/phrasebook.html
View File

@@ -12,7 +12,8 @@ var phrasebook_options={
grammar_list: ["Phrasebook.pgf"], grammar_list: ["Phrasebook.pgf"],
delete_button_text: "Del", delete_button_text: "Del",
help_url: "http://www.grammaticalframework.org/examples/phrasebook/help-phrasebook.html", help_url: "http://www.grammaticalframework.org/examples/phrasebook/help-phrasebook.html",
feedback_url: "feedback.html" feedback_url: "feedback.html",
default_source_language: "Eng"
} }
</script> </script>
<meta name = "viewport" content = "width = device-width"> <meta name = "viewport" content = "width = device-width">