diff options
| author | krasimir <krasimir@chalmers.se> | 2010-07-08 07:57:36 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-07-08 07:57:36 +0000 |
| commit | 027c14dcbb92ae8b748221e09dd19bcefeaa0376 (patch) | |
| tree | 2ec905303c1ca85a6b13d3cfd70002bb94f68a75 /src/runtime | |
| parent | ef4b0689022ecd48c5d38204b5d45f156da2deb1 (diff) | |
FridgeApp and TranslateApp now show the type errors
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.js | 33 |
1 files changed, 19 insertions, 14 deletions
diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js index 2a0c20931..a93222e8a 100644 --- a/src/runtime/javascript/minibar/minibar.js +++ b/src/runtime/javascript/minibar/minibar.js @@ -336,11 +336,11 @@ function target_lang() { return langpart(to_menu.options[to_menu.selectedIndex].value,grammar.name); } -function show_translations(translations) { +function show_translations(translationResults) { var trans=element("translations"); var grammar=element("language_menu").grammar; var to=target_lang(); - var cnt=translations.length; + var cnt=translationResults.length; //trans.translations=translations; trans.single_translation=[]; trans.innerHTML=""; @@ -348,18 +348,23 @@ function show_translations(translations) { cnt>1 ? ""+cnt+" translations:": "One translation:"))); for(p=0;p<cnt;p++) { - var t=translations[p]; - var lin=t.linearizations; - var tbody=empty("tbody"); - if(options.show_abstract && t.tree) - tbody.appendChild(tr([th(text("Abstract: ")), - tdt(abstree_button(t.tree),text(" "+t.tree))])); - for(var i=0;i<lin.length;i++) - if(to=="-1" || lin[i].to==to) - tbody.appendChild(tr([th(text(langpart(lin[i].to,grammar.name)+": ")), - tdt(parsetree_button(t.tree,lin[i].to), - text(lin[i].text))])); - trans.appendChild(wrap("table",tbody)); + var tr=translationResults[p]; + if (tr.translations != null) { + for (q = 0; q < tr.translations.length; q++) { + var t = tr.translations[q]; + var lin=t.linearizations; + var tbody=empty("tbody"); + if(options.show_abstract && t.tree) + tbody.appendChild(tr([th(text("Abstract: ")), + tdt(abstree_button(t.tree),text(" "+t.tree))])); + for(var i=0;i<lin.length;i++) + if(to=="-1" || lin[i].to==to) + tbody.appendChild(tr([th(text(langpart(lin[i].to,grammar.name)+": ")), + tdt(parsetree_button(t.tree,lin[i].to), + text(lin[i].text))])); + trans.appendChild(wrap("table",tbody)); + } + } } } |
