/* --- GF wide coverage translation interface ------------------------------- */ var gftranslate = {} gftranslate.jsonurl="/robust/App14.pgf" gftranslate.grammar="App" // the name of the grammar gftranslate.call=function(querystring,cont,errcont) { http_get_json(gftranslate.jsonurl+querystring,cont,errcont) } function enc_langs(g,to) { return Array.isArray(to) ? to.map(function(l){return g+l}).join("+") : g+to } function unspace_translations(g,trans) { var langs=[g+"Chi",g+"Jpn",g+"Tha"] for(var i=0;i {quality:String, text:String} function trans_text_quality(text) { var quality="default_quality" switch(text[0]) { case '+': text=text.substr(1).trimLeft(); quality="high_quality"; break; case '*': text=text.substr(1).trimLeft(); quality="low_quality"; break; } return {quality:quality,text:text} } // find_to :: Lang -> [{to:Lang,...}] -> Int function find_to(to,lins) { for(var i=0;i