/* --- Auxiliary functions -------------------------------------------------- */ function langpart(conc,abs) { // langpart("FoodsEng","Foods") == "Eng" return hasPrefix(conc,abs) ? conc.substr(abs.length) : conc; } function update_language_menu(menu,grammar) { // Replace the options in the menu with the languages in the grammar var lang=grammar.languages; menu.innerHTML=""; for(var i=0; i