diff --git a/src/runtime/javascript/minibar/minibar.html b/src/runtime/javascript/minibar/minibar.html
index dc53167dd..57ee54b38 100644
--- a/src/runtime/javascript/minibar/minibar.html
+++ b/src/runtime/javascript/minibar/minibar.html
@@ -4,6 +4,7 @@
 <link rel=stylesheet type="text/css" href="minibar.css">
 <script type="text/JavaScript" src="support.js"></script>
 <script type="text/JavaScript" src="minibar.js"></script>
+<script type="text/JavaScript" src="pgf_online.js"></script>
 
 <meta name = "viewport" content = "width = device-width">
 <meta http-equiv="Content-type" content="text/html;charset=UTF-8">
@@ -12,8 +13,8 @@
 </head>
 
 <body>
-<h1>Minibar</h1>
-<div id=minibar>
+<h2>Minibar online</h2>
+<div id=minibar1>
 </div>
 <noscript>
 This page doesn't works unless JavaScript is enabled.
@@ -26,26 +27,33 @@ This page doesn't works unless JavaScript is enabled.
 &amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
 </small>
 <small class=modtime>
-HTML <!-- hhmts start --> Last modified: Fri Sep 24 14:30:47 CEST 2010 <!-- hhmts end -->
+HTML <!-- hhmts start --> Last modified: Tue Oct 26 14:40:33 CEST 2010 <!-- hhmts end -->
 </small>
 <address>
 <a href="http://www.cs.chalmers.se/~hallgren/">TH</a>
 <img src="http://www.altocumulus.org/~hallgren/online.cgi?icon" alt=""></address>
 
-</body>
 <script type="text/javascript">
 
-var my_options= {
-  //server: "http://www.grammaticalframework.org:41296",
-  //server: "http://tournesol.cs.chalmers.se:41296",
-  server: "http://localhost:41296",
-  //grammar_list: ["Foods.pgf"],
+var online_options={
+  grammars_url: "http://www.grammaticalframework.org/grammars/"
+//grammars_url: "http://tournesol.cs.chalmers.se:41296/grammars",
+//grammars_url: "http://localhost:41296/grammars",
+//grammar_list: ["Foods.pgf"], // leave undefined to get list from server
+}
+
+var server=pgf_online(online_options);
+
+var minibar_options= {
   show_abstract: true,
   show_trees: true,
   show_grouped_translations: false,
   default_source_language: "Eng",
   try_google: true
 }
-start_minibar(my_options)
+start_minibar(server,minibar_options,"minibar1");
+
 </script>
+
+</body>
 </html>
diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js
index 8febfb6a8..b96d7c56b 100644
--- a/src/runtime/javascript/minibar/minibar.js
+++ b/src/runtime/javascript/minibar/minibar.js
@@ -1,414 +1,435 @@
 // minibar.js, assumes that support.js has also been loaded
 
-/* --- Configuration -------------------------------------------------------- */
-
-
 var default_server="http://www.grammaticalframework.org:41296"
 var tree_icon=default_server+"/translate/se.chalmers.cs.gf.gwt.TranslateApp/tree-btn.png";
 
-// default values for options:
-var options={
-    server: default_server,
-    grammars_url: null, // if left null, start_minibar() fills in server+"/grammars/"
-    grammar_list: null, // if left null, start_minibar() will fetch a list from the server
-    show_abstract: false,
-    show_trees: false,
-    show_grouped_translations: true,
-    delete_button_text: "⌫",
-    default_source_language: null,
-    try_google: true,
-    feedback_url: null,
-    random_button: true,
-    help_url: null
-}
+function start_minibar(server,opts,target) {
+    // Typically called when the HTML document is loaded
 
-/* --- Grammar access object ------------------------------------------------ */
+    /* --- Configuration ---------------------------------------------------- */
 
-var server = {
-    // State variables (private):
-    current_grammar_url: options.grammars_url+"Foods.pgf",
-    // Methods:
-    switch_grammar: function(grammar_name) {
-	this.current_grammar_url=options.grammars_url+grammar_name;
-    },
-    get_grammarlist: function(cont) {
-	http_get_json(options.grammars_url+"grammars.cgi",cont);
-    },
-    pgf_call: function(cmd,args,cont) {
-	var url=this.current_grammar_url+"?command="+cmd;
-	for(var arg in args) url+="&"+arg+"="+encodeURIComponent(args[arg]);
-	http_get_json(url,cont);
-    },
-
-    get_languages: function(cont) {
-	this.pgf_call("grammar",{},cont);
-    },
-
-    get_random: function(cont) {
-	this.pgf_call("random",{random:Math.random()},cont);
-    },
-    linearize: function(tree,to,cont) {
-	this.pgf_call("linearize",{tree:tree,to:to},cont);
-    },
-    complete: function(from,input,cont) {
-	this.pgf_call("complete",{from:from,input:input},cont);
-    },
-    parse: function(from,input,cont) {
-	this.pgf_call("parse",{from:from,input:input},cont);
-    },
-    translate: function(from,input,cont) {
-	this.pgf_call("translate",{from:from,input:input},cont);
-    },
-    translategroup: function(from,input,cont) {
-	this.pgf_call("translategroup",{from:from,input:input},cont);
+    // default values for options:
+    var options={
+	show_abstract: false,
+	show_trees: false,
+	show_grouped_translations: true,
+	delete_button_text: "⌫",
+	default_source_language: null,
+	try_google: true,
+	feedback_url: null,
+	random_button: true,
+	help_url: null
     }
 
-};
+    /* --- Creating user interface elements --------------------------------- */
 
-/* --- Initialisation ------------------------------------------------------- */
-
-function start_minibar(opts) {
-  // Typically called when the HTML document is loaded
     if(opts) for(var o in opts) options[o]=opts[o];
+
     var surface=div_id("surface");
     var extra=div_id("extra");
-    //surface.setAttribute("onclick","add_typed_input(this)");
-    var minibar=element("minibar");
+    var menubar=div_id("menubar");
+    var words=div_id("words");
+    var translations=div_id("translations");
+
+    var minibar=element(target || "minibar");
     minibar.innerHTML="";
-    appendChildren(minibar,
-		   [div_id("menubar"),
-		    surface,
-		    div_id("words"),
-		    div_id("translations"),
-		    extra]);
-    append_extra_buttons(extra);
-    if(!options.grammars_url) options.grammars_url=options.server+"/grammars/";
-    if(options.grammar_list) show_grammarlist(options.grammar_list);
+    appendChildren(minibar,[menubar,surface,words,translations,extra]);
+
+    // Added later:
+    var language_menu=empty_id("select","language_menu");
+    var to_menu=empty_id("select","to_menu");
+
+    /* --- Minibar client state initialisation ------------------------------ */
+    var current={from: null, input: ""};
+    var previous=null;
+
+    /* --- Auxiliary functions ---------------------------------------------- */
+
+    function show_grammarlist(grammars) {
+	//debug("show_grammarlist ")
+	menubar.innerHTML="";
+	if(grammars.length>1) {
+	    var menu=empty("select");
+	    for(var i=0;i<grammars.length;i++) {
+		var opt=empty("option");
+		opt.setAttribute("value",grammars[i]);
+		opt.innerHTML=grammars[i];
+		menu.appendChild(opt);
+	    }
+    	    menu.onchange=function() {
+		select_grammar(menu.options[menu.selectedIndex].value);
+	    };
+	    menubar.innerHTML="Grammar: ";
+	    menubar.appendChild(menu);
+	}
+	appendChildren(menubar,
+		       [text(" From: "), language_menu,
+			text(" To: "), to_menu,
+			button(options.delete_button_text,delete_last,"H"),
+			button("Clear",clear_all,"L")]);
+	if(options.random_button)
+	    menubar.appendChild(button("Random",generate_random,"R"));
+	if(options.help_url)
+	    menubar.appendChild(button("Help",open_help));
+	select_grammar(grammars[0]);
+    }
+
+    function select_grammar(grammar_name) {
+	//debug("select_grammar ");
+	function get_languages() { server.get_languages(show_languages); }
+	server.switch_grammar(grammar_name,get_languages);
+    }
+
+    function show_languages(grammar) {
+	//debug("show_languages ");
+	var r="";
+	var lang=grammar.languages;
+	var menu=language_menu;
+	menu.grammar=grammar;
+	var new_language=function () {
+	    var ix=menu.options[menu.selectedIndex].value;
+	    var langname=grammar.languages[ix].name;
+	    current.from=langname;
+	    clear_all();
+	}
+	menu.onchange=new_language;
+
+	menu.innerHTML="";
+	
+	for(var i=0; i<lang.length; i++)
+	    if(!hasPrefix(lang[i].name,"Disamb"))
+		menu.appendChild(option(langpart(lang[i].name,grammar.name),""+i));
+	set_initial_language(options,menu,grammar)
+	to_menu.onchange=get_translations
+
+	to_menu.innerHMTL="";
+	to_menu.appendChild(option("All","-1"));
+	for(var i=0; i<lang.length; i++)
+	    if(!hasPrefix(lang[i].name,"Disamb"))
+		to_menu.appendChild(option(langpart(lang[i].name,grammar.name),lang[i].name));
+	new_language();
+    }
+
+    function clear_all1() {
+	remove_typed_input();
+	current.input="";
+	previous=null;
+	surface.innerHTML="";
+	translations.innerHTML="";
+    }
+
+    function clear_all() {
+	clear_all1();
+	get_completions();
+    }
+
+    function get_completions() {
+	//debug("get_completions ");
+	words.innerHTML="...";
+	server.complete(current.from,current.input,show_completions);
+    }
+
+    function show_completions(complete_output) {
+	//debug("show_completions ");
+	var completions=complete_output[0].completions;
+	var emptycnt=add_completions(completions)
+	if(true/*emptycnt>0*/) get_translations();
+	else translations.innerHTML="";
+	if(surface.typed && emptycnt==completions.length) {
+	    if(surface.typed.value=="") remove_typed_input();
+	}
+	else add_typed_input();
+    }
+
+    function add_completions(completions) {
+	if(words.timeout) clearTimeout(words.timeout),words.timeout=null;
+	words.innerHTML="";
+	words.completions=completions;
+	words.word=[];
+	var t=surface.typed ? surface.typed.value : "";
+	var emptycnt=0;
+	for(var i=0;i<completions.length;i++) {
+	    var s=completions[i];
+	    if(s.length>0) {
+		var w=word(s);
+		words.appendChild(w);
+		words.word[i]=w;
+	    }
+	    else emptycnt++;
+	}
+	filter_completions(t,true);
+	return emptycnt;
+    }
+
+    function filter_completions(t,dim) {
+	if(words.timeout) clearTimeout(words.timeout),words.timeout=null;
+	words.filtered=t;
+	//if(dim) debug('filter "'+t+'"');
+	var w=words.word;
+	words.count=0;
+	var dimmed=0;
+	var prefix=""; // longest common prefix, for completion
+	for(var i=0;i<w.length;i++) {
+	    var s=words.completions[i];
+	    var keep=hasPrefix(s,t);
+	    if(keep) {
+		if(words.count==0) prefix=s;
+		else prefix=(commonPrefix(prefix,s));
+		words.count++;
+	    }
+	    if(dim) {
+		w[i].style.opacity= keep ? "1" : "0.5";
+		if(keep) w[i].style.display="inline";
+		else dimmed++;
+	    }
+	    else 
+		w[i].style.display=keep ? "inline" : "none";
+	}
+	words.theword=prefix;
+	if(dimmed>0)
+	    words.timeout=setTimeout(function(){ filter_completions(t,false)},1000);
+    }
+    
+    function get_translations() {
+	var c=current;
+	if(options.show_grouped_translations)
+	    server.translategroup(c.from,c.input,show_groupedtranslations);
+	else
+	    server.translate(c.from,c.input,show_translations);
+    }
+
+    function target_lang() {
+	return langpart(to_menu.options[to_menu.selectedIndex].value,
+			language_menu.grammar.name);
+    }
+
+    function add_typed_input() {
+	var inp;
+	if(surface.typed) inp=surface.typed;
+	else {
+	    inp=empty("input","type","text");
+	    inp.value="";
+	    inp.setAttribute("accesskey","t");
+	    inp.style.width="10em";
+	    inp.onkeyup=complete_typed;
+	    surface.appendChild(inp);
+	    surface.typed=inp;
+	}
+	inp.focus();
+    }
+
+    function remove_typed_input() {
+	if(surface.typed) {
+	    surface.typed.parentNode.removeChild(surface.typed);
+	    surface.typed=null;
+	}
+    }
+
+    function complete_typed(event) {
+	//element("debug").innerHTML=show_props(event,"event");
+	var inp=surface.typed;
+	//debug('"'+inp.value+'"');
+	var s=inp.value;
+	var ws=s.split(" ");
+	if(ws.length>1 || event.keyCode==13) {
+	    if(ws[0]!=words.filtered) filter_completions(ws[0],true);
+	    if(words.count==1) add_word(words.theword);
+	    else if(elem(ws[0],words.completions)) add_word(ws[0]);
+	    else if(words.theword.length>ws[0].length) inp.value=words.theword;
+	}
+	else if(s!=words.filtered) filter_completions(s,true)
+    }
+
+    function generate_random() {
+
+	function show_random(random) {
+	    clear_all1();
+	    var menu=language_menu;
+	    add_words(random[0].text);
+	}
+
+	function lin_random(abs) {
+	    server.linearize(abs[0].tree,current.from,show_random);
+	}
+	server.get_random(lin_random);
+    }
+
+    function add_words(s) {
+	var words=s.split(" ");
+	for(var i=0;i<words.length;i++)
+	    add_word1(words[i]+" ");
+	get_completions();
+    }
+
+    function word(s) { 
+	function click_word() {
+	    if(surface.typed) surface.typed.value="";
+	    add_word(s);
+	}
+	return button(s,click_word);
+    }
+
+    function add_word(s) {
+	add_word1(s+" ");
+	if(surface.typed) {
+	    var s2;
+	    if(hasPrefix(s2=surface.typed.value,s)) {
+		s2=s2.substr(s.length);
+		while(s2.length>0 && s2[0]==" ") s2=s2.substr(1);
+		surface.typed.value=s2;
+	    }
+	    else surface.typed.value="";
+	}
+	get_completions();
+    }
+    
+    function add_word1(s) {
+	previous={ input: current.input, previous: previous };
+	current.input+=s;
+	var w=span_class("word",text(s));
+	if(surface.typed) surface.insertBefore(w,surface.typed);
+	else surface.appendChild(w);
+    }
+
+    function delete_last() {
+	if(surface.typed && surface.typed.value!="")
+	    surface.typed.value="";
+	else if(previous) {
+	    current.input=previous.input;
+	    previous=previous.previous;
+	    if(surface.typed) {
+		surface.removeChild(surface.typed.previousSibling);
+		surface.typed.focus();
+	    }
+	    else surface.removeChild(surface.lastChild);
+	    translations.innerHTML="";
+	    get_completions();
+	}
+    }
+
+    function tdt(tree_btn,txt) {
+	return options.show_trees ? tda([tree_btn,txt]) : td(txt);
+    }
+
+    function show_translations(translationResults) {
+	var trans=translations;
+	var grammar=language_menu.grammar;
+	var to=target_lang();
+	var cnt=translationResults.length;
+	//trans.translations=translations;
+	trans.single_translation=[];
+	trans.innerHTML="";
+	/*
+	  trans.appendChild(wrap("h3",text(cnt<1 ? "No translations?" :
+	  cnt>1 ? ""+cnt+" translations:":
+	  "One translation:")));
+	*/
+	for(p=0;p<cnt;p++) {
+	    var tra=translationResults[p];
+	    if (tra.translations != null) {
+		for (q = 0; q < tra.translations.length; q++) {
+		    var t = tra.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));
+		}
+	    }
+	    else if(tra.typeErrors) {
+		var errs=tra.typeErrors;
+		for(var i=0;i<errs.length;i++)
+		    trans.appendChild(wrap("pre",text(errs[i].msg)))
+	    }
+	}
+    }
+    
+    function show_groupedtranslations(translationsResult) {
+	var trans=translations;
+	var grammar=language_menu.grammar;
+	var to=target_lang();
+	var cnt=translationsResult.length;
+	//trans.translations=translationsResult;
+	trans.single_translation=[];
+	trans.innerHTML="";
+	for(p=0;p<cnt;p++) {
+	    var t=translationsResult[p];
+	    if(to=="-1" || t.to==to) {
+		var lin=t.linearizations;
+		var tbody=empty("tbody");
+		if(to=="-1") tbody.appendChild(tr([th(text(t.to+":"))]));
+		for(var i=0;i<lin.length;i++) {
+		    if(to!="-1") trans.single_translation[i]=lin[i].text;
+		    tbody.appendChild(tr([td(text(lin[i].text))]));
+		    if (lin.length > 1) tbody.appendChild(tr([td(text(lin[i].tree))]));
+		}
+		trans.appendChild(wrap("table",tbody));
+	    }
+	}
+    }
+
+    function append_extra_buttons(extra,options) {
+	if(options.try_google)
+	    extra.appendChild(button("Try Google Translate",try_google));
+	if(options.feedback_url)
+	    appendChildren(extra,[text(" "),button("Feedback",open_feedback)]);
+    }
+
+    function try_google() {
+	var to=target_lang();
+	var grammar=language_menu.grammar;
+	var s=current.input;
+	if(surface.typed) s+=surface.typed.value;
+	var url="http://translate.google.com/?sl="
+	        +langpart(current.from,grammar.name);
+	if(to!="-1") url+="&tl="+to;
+	url+="&q="+encodeURIComponent(s);
+	window.open(url);
+    }
+
+    function open_help() { open_popup(options.help_url,"help"); }
+    function open_feedback() {
+	language_menu.current=current;
+	open_popup(options.feedback_url,'feedback');
+    }
+    
+    /* --- Main program, this gets things going ----------------------------- */
+    append_extra_buttons(extra,options);
+
+    if(server.grammar_list) show_grammarlist(server.grammar_list);
     else server.get_grammarlist(show_grammarlist);
 }
 
-
-/* --- Functions ------------------------------------------------------------ */
-
-function show_grammarlist(grammars) {
-    var menubar=element("menubar");
-    menubar.innerHTML="";
-    if(grammars.length>1) {
-	var menu=empty("select");
-	for(var i=0;i<grammars.length;i++) {
-	    var opt=empty("option");
-	    opt.setAttribute("value",grammars[i]);
-	    opt.innerHTML=grammars[i];
-	    menu.appendChild(opt);
-	}
-	menu.setAttribute("onchange","new_grammar(this)");
-	menubar.innerHTML="Grammar: ";
-	menubar.appendChild(menu);
-    }
-    appendChildren(menubar,
-		   [text(" From: "), empty_id("select","language_menu"),
-		    text(" To: "), empty_id("select","to_menu"),
-		    button(options.delete_button_text,"delete_last()","H"),
-		    button("Clear","clear_all()","L")]);
-    if(options.random_button)
-	menubar.appendChild(button("Random","generate_random()","R"));
-    if(options.help_url)
-	menubar.appendChild(button("Help","open_help()"));
-    select_grammar(grammars[0]);
+function commonPrefix(s1,s2) {
+    for(var i=0;i<s1.length && i<s2.length && s1[i]==s2[i];i++);
+    return s1.substr(0,i);
 }
 
-function new_grammar(menu) {
-  select_grammar(menu.options[menu.selectedIndex].value);
-}
-
-function select_grammar(grammar_name) {
-    server.switch_grammar(grammar_name);
-    server.get_languages(show_languages);
-}
-
-function langpart(conc,abs) { // langpart("FoodsEng","Food") == "Eng"
-    return hasPrefix(conc,abs) ? conc.substr(abs.length) : conc;
-}
-
-function show_languages(grammar) {
-    var r="";
-    var lang=grammar.languages;
-    var menu=element("language_menu");
-    menu.setAttribute("onchange","new_language(this)");
-    menu.grammar=grammar;
-    menu.innerHTML="";
-
-    for(var i=0; i<lang.length; i++)
-	if(/*lang[i].canParse &&*/ !hasPrefix(lang[i].name,"Disamb"))
-	    menu.appendChild(option(langpart(lang[i].name,grammar.name),""+i));
+function set_initial_language(options,menu,grammar) {
     if(grammar.userLanguage) {
 	for(var i=0;i<menu.options.length;i++) {
 	    var ix=menu.options[i].value;
-	    var l=menu.grammar.languages[ix].name;
+	    var l=grammar.languages[ix].name;
 	    if(l==grammar.userLanguage) menu.selectedIndex=i;
 	}
     }
     else if(options.default_source_language) {
 	for(var i=0;i<menu.options.length;i++) {
 	    var ix=menu.options[i].value;
-	    var l=langpart(menu.grammar.languages[ix].name,menu.grammar.name);
+	    var l=langpart(grammar.languages[ix].name,grammar.name);
 	    if(l==options.default_source_language) menu.selectedIndex=i;
 	}
     }
-    var to=element("to_menu");
-    to.langmenu=menu;
-    to.setAttribute("onchange","change_tolang(this)");
-    to.innerHMTL="";
-    to.appendChild(option("All","-1"));
-    for(var i=0; i<lang.length; i++)
-	if(!hasPrefix(lang[i].name,"Disamb"))
-	    to.appendChild(option(langpart(lang[i].name,grammar.name),lang[i].name));
-    new_language(menu);
 }
 
-function new_language(menu) {
-  var ix=menu.options[menu.selectedIndex].value;
-  var langname=menu.grammar.languages[ix].name;
-  menu.current={from: langname, input: ""};
-  clear_all();
-}
-
-function change_tolang(to_menu) {
-    get_translations(to_menu.langmenu)
-}
-
-function clear_all1() {
-    var menu=element("language_menu");
-    menu.current.input="";
-    menu.previous=null;
-    var surface=element("surface");
-    surface.innerHTML="";
-    surface.typed=null;
-    element("translations").innerHTML="";
-    return menu;
-}
-
-function clear_all() {
-  get_completions(clear_all1());
-}
-
-function delete_last() {
-  var menu=element("language_menu");
-  if(menu.previous) {
-    menu.current.input=menu.previous.input;
-    menu.previous=menu.previous.previous;
-    var s=element("surface");
-    if(s.typed) {
-	s.removeChild(s.typed.previousSibling);
-	s.typed.focus();
-    }
-    else
-	s.removeChild(s.lastChild);
-    element("translations").innerHTML="";
-    get_completions(menu);
-  }
-}
-
-function add_typed_input(surface) {
-    if(surface.typed)
-	inp=surface.typed;
-    else {
-	var inp=empty("input","type","text");
-	inp.setAttribute("accesskey","t");
-	inp.setAttribute("onkeyup","complete_typed(this)");
-	inp.setAttribute("onchange","finish_typed(this)");
-	surface.appendChild(inp);
-	surface.typed=inp;
-    }
-    inp.focus();
-}
-
-function remove_typed_input(surface) {
-    if(surface.typed) {
-	surface.typed.parentNode.removeChild(surface.typed);
-	surface.typed=null;
-    }
-}
-
-function complete_typed(inp) {
-    var menu=element("language_menu");
-    var c=menu.current;
-    if(!inp.completing || inp.completing!=inp.value) {
-	inp.completing=inp.value;
-	server.complete(c.from,c.input+inp.value,show_completions);
-    }
-}
-
-function finish_typed(inp) {
-    //alert("finish_typed "+inp.value);
-    var box=element("words");
-    var w=inp.value;
-    var keep=w.substr(0,w.length-box.completed_text.length);
-    if(box.completions.length==1)
-	add_words(keep+box.completions[0]);
-    else if(elem(w,box.completions))
-	add_words(w);
-}
-
-function generate_random() {
-    server.get_random(lin_random);
-}
-
-function lin_random(abs) {
-  var menu=element("language_menu");
-  var lang=menu.current.from;
-  server.linearize(abs[0].tree,lang,show_random);
-}
-
-function show_random(random) {
-  var menu=clear_all1();
-  var words=random[0].text.split(" ");
-  for(var i=0;i<words.length;i++)
-    add_word1(menu,words[i]+" ");
-  element("words").innerHTML="...";
-  get_completions(menu);
-}
-
-function get_completions(menu) {
-  var c=menu.current;
-  server.complete(c.from,c.input,show_completions);
-}
-
-function word(s) {
-  return button(s,'add_word("'+s+'")');
-}
-
-function add_word1(menu,s) {
-    menu.previous={ input: menu.current.input, previous: menu.previous };
-    menu.current.input+=s;
-    var w=span_class("word",text(s));
-    var surface=element("surface");
-    if(surface.typed) {
-	surface.typed.value="";
-	surface.insertBefore(w,surface.typed);
-    }
-    else
-	surface.appendChild(w);
-}
-
-function add_word(s) {
-  var menu=element("language_menu");
-  add_word1(menu,s+" ");
-  element("words").innerHTML="...";
-  get_completions(menu);
-}
-
-function add_words(s) {
-  var menu=element("language_menu");
-  var words=s.split(" ");
-  for(var i=0;i<words.length;i++)
-    add_word1(menu,words[i]+" ");
-  element("words").innerHTML="...";
-  get_completions(menu);
-}
-
-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=completions;
-  box.completed_text=complete_output[0].text;
-  for(var i=0;i<completions.length;i++) {
-    var s=completions[i];
-    if(s.length>0) box.appendChild(word(s));
-    else emptycnt++;
-  }
-  if(true/*emptycnt>0*/) get_translations(menu);
-  else element("translations").innerHTML="";
-  var surface=element("surface");
-  if(surface.typed && emptycnt==completions.length) {
-      if(surface.typed.value=="") remove_typed_input(surface);
-  }
-  else add_typed_input(surface);
-}
-
-function get_translations(menu) {
-    var c=menu.current;
-    if(options.show_grouped_translations)
-	server.translategroup(c.from,c.input,show_groupedtranslations);
-    else
-	server.translate(c.from,c.input,show_translations);
-}
-
-function tdt(tree_btn,txt) {
-    return options.show_trees ? tda([tree_btn,txt]) : td(txt);
-}
-
-function target_lang() {
-    var to_menu=element("to_menu");
-    var grammar=element("language_menu").grammar;
-    return langpart(to_menu.options[to_menu.selectedIndex].value,grammar.name);
-}
-
-function show_translations(translationResults) {
-    var trans=element("translations");
-    var grammar=element("language_menu").grammar;
-    var to=target_lang();
-    var cnt=translationResults.length;
-    //trans.translations=translations;
-    trans.single_translation=[];
-    trans.innerHTML="";
-    /*
-    trans.appendChild(wrap("h3",text(cnt<1 ? "No translations?" :
-				     cnt>1 ? ""+cnt+" translations:":
-				     "One translation:")));
-    */
-    for(p=0;p<cnt;p++) {
-	var tra=translationResults[p];
-	if (tra.translations != null) {
-	    for (q = 0; q < tra.translations.length; q++) {
-		var t = tra.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));
-	    }
-	}
-	else if(tra.typeErrors) {
-	    var errs=tra.typeErrors;
-	    for(var i=0;i<errs.length;i++)
-		trans.appendChild(wrap("pre",text(errs[i].msg)))
-	}
-    }
-}
-
-function show_groupedtranslations(translations) {
-    var trans=element("translations");
-    var grammar=element("language_menu").grammar;
-    var to=target_lang();
-    var cnt=translations.length;
-    //trans.translations=translations;
-    trans.single_translation=[];
-    trans.innerHTML="";
-    for(p=0;p<cnt;p++) {
-	var t=translations[p];
-	if(to=="-1" || t.to==to) {
-	    var lin=t.linearizations;
-	    var tbody=empty("tbody");
-	    if(to=="-1") tbody.appendChild(tr([th(text(t.to+":"))]));
-	    for(var i=0;i<lin.length;i++) {
-		if(to!="-1") trans.single_translation[i]=lin[i].text;
-		tbody.appendChild(tr([td(text(lin[i].text))]));
-		if (lin.length > 1) tbody.appendChild(tr([td(text(lin[i].tree))]));
-	    }
-	    trans.appendChild(wrap("table",tbody));
-	}
-    }
+function langpart(conc,abs) { // langpart("FoodsEng","Food") == "Eng"
+    return hasPrefix(conc,abs) ? conc.substr(abs.length) : conc;
 }
 
 function abstree_button(abs) {
@@ -432,36 +453,11 @@ function toggle_img(i) {
   i.other=tmp;
 }
 
-function append_extra_buttons(extra) {
-    if(options.try_google)
-	extra.appendChild(button("Try Google Translate","try_google()"));
-    if(options.feedback_url)
-	appendChildren(extra,[text(" "),button("Feedback","open_feedback()")]);
-}
-
-function try_google() {
-    var menu=element("language_menu");
-    var trans=element("translations");
-    var surface=element("surface");
-    var to=target_lang();
-    var grammar=menu.grammar;
-    var c=menu.current;
-    var s=c.input;
-    if(surface.typed) s+=surface.typed.value;
-    var url="http://translate.google.com/?sl="+langpart(c.from,grammar.name);
-    if(to!="-1") url+="&tl="+to;
-    url+="&q="+encodeURIComponent(s);
-    window.open(url);
-}
-
 function open_popup(url,target) {
     var w=window.open(url,target,'toolbar=no,location=no,status=no,menubar=no');
     w.focus();
 }
 
-function open_help() { open_popup(options.help_url,"help"); }
-function open_feedback() { open_popup(options.feedback_url,'feedback'); }
-
 function setField(form,name,value) {
     form[name].value=value;
     var el=element(name);
@@ -473,7 +469,7 @@ function opener_element(id) { with(window.opener) return element(id); }
 function prefill_feedback_form() {
     var to_menu=opener_element("to_menu");
     var trans=opener_element("translations");
-    var menu=to_menu.langmenu;
+    var menu=opener_element("language_menu")
     var grammar=menu.grammar;
     var gn=grammar.name;
     var form=document.forms.namedItem("feedback");
diff --git a/src/runtime/javascript/minibar/pgf_online.js b/src/runtime/javascript/minibar/pgf_online.js
new file mode 100644
index 000000000..d100f8bf9
--- /dev/null
+++ b/src/runtime/javascript/minibar/pgf_online.js
@@ -0,0 +1,51 @@
+
+/* --- Grammar access object ------------------------------------------------ */
+
+function pgf_online(options) {
+    var server = {
+	// State variables (private):
+	grammars_url: "/grammars/",
+	grammar_list: null,
+	current_grammar_url: null,
+	
+	// Methods:
+	switch_grammar: function(grammar_url,cont) {
+ 	    this.current_grammar_url=this.grammars_url+grammar_url;
+	    cont();
+	},
+	get_grammarlist: function(cont) {
+	    http_get_json(this.grammars_url+"grammars.cgi",cont);
+	},
+	pgf_call: function(cmd,args,cont) {
+	    var url=this.current_grammar_url+"?command="+cmd;
+	    for(var arg in args) url+="&"+arg+"="+encodeURIComponent(args[arg]);
+	    http_get_json(url,cont);
+	},
+	
+	get_languages: function(cont) {
+	    this.pgf_call("grammar",{},cont);
+	},
+	
+	get_random: function(cont) {
+	    this.pgf_call("random",{random:Math.random()},cont);
+	},
+	linearize: function(tree,to,cont) {
+	    this.pgf_call("linearize",{tree:tree,to:to},cont);
+	},
+	complete: function(from,input,cont) {
+	    this.pgf_call("complete",{from:from,input:input},cont);
+	},
+	parse: function(from,input,cont) {
+	    this.pgf_call("parse",{from:from,input:input},cont);
+	},
+	translate: function(from,input,cont) {
+	    this.pgf_call("translate",{from:from,input:input},cont);
+	},
+	translategroup: function(from,input,cont) {
+	    this.pgf_call("translategroup",{from:from,input:input},cont);
+	}
+	
+    };
+    for(var o in options) server[o]=options[o];
+    return server;
+}
\ No newline at end of file
diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html
index 73c0e849b..1bd45857d 100644
--- a/src/runtime/javascript/minibar/phrasebook.html
+++ b/src/runtime/javascript/minibar/phrasebook.html
@@ -1,25 +1,17 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> 
-<html> <head> 
+<html>
+<head> 
+<meta http-equiv="Content-type" content="text/html;charset=UTF-8">
+<meta charset="UTF-8">
 <title>Phrasebook</title> 
 <link rel=stylesheet type="text/css" href="minibar.css"> 
 <script type="text/JavaScript" src="support.js"></script> 
+<script type="text/JavaScript" src="pgf_online.js"></script>
 <script type="text/JavaScript" src="minibar.js"></script>
-<script type="text/JavaScript">
-var phrasebook_options={
-//  server: "http://localhost:41296",
-//  server: "http://tournesol.cs.chalmers.se:41296",
-  server: "http://www.grammaticalframework.org:41296",
-  grammar_list: ["Phrasebook.pgf"],
-  delete_button_text: "Del",
-  help_url: "http://www.grammaticalframework.org/examples/phrasebook/help-phrasebook.html",
-  feedback_url: "feedback.html",
-  default_source_language: "Eng"
-}
-</script>
 <meta name = "viewport" content = "width = device-width">
-</head> 
+</head>
  
-<body onload="start_minibar(phrasebook_options)"> 
+<body> 
 
 <div id=minibar></div> 
 
@@ -27,11 +19,32 @@ var phrasebook_options={
  
 <small> 
 
-Powered by <a href="http://www.grammaticalframework.org">GF</a>,
+Powered by <a href="http://www.grammaticalframework.org/">GF</a>,
 see <a href="http://www.grammaticalframework.org/examples/phrasebook/doc-phrasebook.html">doc</a>.
 
 </small>
 
+<script type="text/JavaScript">
+
+var online_options={
+  grammars_url: "http://www.grammaticalframework.org/grammars/",
+//grammars_url: "http://tournesol.cs.chalmers.se:41296/grammars",
+//grammars_url: "http://localhost:41296/grammars",
+  grammar_list: ["Phrasebook.pgf"], // leave undefined to get list from server
+}
+
+var server=pgf_online(online_options);
+
+var phrasebook_options={
+  delete_button_text: "Del",
+  help_url: "http://www.grammaticalframework.org/examples/phrasebook/help-phrasebook.html",
+  feedback_url: "feedback.html",
+  default_source_language: "Eng"
+}
+
+start_minibar(server,phrasebook_options)
+</script>
+
 </body> 
  
 </html> 
