disambiguation in Phrasebook grammars, PGF server, and the GUI

1 files changed, 4 insertions, 2 deletions

diff --git a/examples/phrasebook/www/phrasebook.js b/examples/phrasebook/www/phrasebook.js
index bbbcfd061..b02180035 100644
--- a/examples/phrasebook/www/phrasebook.js
+++ b/examples/phrasebook/www/phrasebook.js
@@ -53,7 +53,7 @@ function show_languages(grammar) {
   menu.setAttribute("onchange","new_language(this)");
   menu.grammar=grammar;
   menu.innerHTML="";
-  for(var i=0; i<lang.length; i++) {
+  for(var i=1; i<lang.length; i++) { // 1, to hide Disamb...
     if(lang[i].canParse) {
       var opt=empty("option");
       opt.setAttribute("value",""+i);
@@ -188,8 +188,10 @@ function show_translations(translations) {
     var lin=t.linearizations;
     var tbody=empty("tbody");
     tbody.appendChild(tr([th(text(t.to+":"))]));
-    for(var i=0;i<lin.length;i++)
+    for(var i=0;i<lin.length;i++) {
       tbody.appendChild(tr([(text(lin[i].text))]));
+      if (lin.length > 1) tbody.appendChild(tr([(text(lin[i].tree))]));
+    }
     trans.appendChild(wrap("table",tbody));
   }
 }