From de909a4e44419562ca4ba071e15cf9b8e00288be Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Tue, 30 Mar 2010 15:39:11 +0000
Subject: disambiguation in Phrasebook grammars, PGF server, and the GUI

---
 examples/phrasebook/www/phrasebook.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'examples/phrasebook/www')

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));
   }
 }
-- 
cgit v1.2.3