From 509ccb0db0adfcbf2d795616a53dfdb4b9c76a58 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Fri, 27 Aug 2010 16:46:14 +0000
Subject: [PATCH] Adapt minibar.js to the current GF web service API

Quick fix. More work needed for correct behaviour when multiple words are
entered at once.
---
 src/runtime/javascript/minibar/minibar.js | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js
index 28d32b6b6..bdec66f77 100644
--- a/src/runtime/javascript/minibar/minibar.js
+++ b/src/runtime/javascript/minibar/minibar.js
@@ -291,25 +291,26 @@ function add_word1(menu,s) {
 
 function add_word(s) {
   var menu=element("language_menu");
-  add_word1(menu,s);
+  add_word1(menu,s+" ");
   element("words").innerHTML="...";
   get_completions(menu);
 }
 
-function show_completions(completions) {
+function show_completions(complete_output) {
   var box=element("words");
   var menu=element("language_menu");
   var prefixlen=menu.current.input.length;
   var emptycnt=0;
+  var completions=complete_output[0].completions;
   box.innerHTML="";
   box.completions=[];
   for(var i=0;i<completions.length;i++) {
-    var s=completions[i].text.substring(prefixlen);
+    var s=completions[i];
     box.completions[i]=s;
     if(s.length>0) box.appendChild(word(s));
     else emptycnt++;
   }
-  if(emptycnt>0) get_translations(menu);
+  if(true/*emptycnt>0*/) get_translations(menu);
   else element("translations").innerHTML="";
   var surface=element("surface");
   if(surface.typed && emptycnt==completions.length) {