summaryrefslogtreecommitdiff
path: root/src/runtime/javascript/minibar/minibar.js
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2011-03-01 13:46:00 +0000
committerhallgren <hallgren@chalmers.se>2011-03-01 13:46:00 +0000
commita01704fd3e801767369c92435ecdf1e59c7d401a (patch)
treea1b7b410ddbd6fcc764139e1c5b939689b641045 /src/runtime/javascript/minibar/minibar.js
parent758e2a031d8866795c4f5e66f73964d16164dd89 (diff)
minibar: make the feedback form work in the generic minibar
It is still disabled by default, since some manual configuraiton of feedback.cgi is required.
Diffstat (limited to 'src/runtime/javascript/minibar/minibar.js')
-rw-r--r--src/runtime/javascript/minibar/minibar.js5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js
index 98049c96e..a2d5bf02c 100644
--- a/src/runtime/javascript/minibar/minibar.js
+++ b/src/runtime/javascript/minibar/minibar.js
@@ -389,11 +389,14 @@ Minibar.prototype.show_translations=function(translationResults) {
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++)
+ for(var i=0;i<lin.length;i++) {
+ if(lin[i].to==to)
+ trans.single_translation.push(lin[i].text);
if(to=="All" || 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));
}
}