1 files changed, 29 insertions, 16 deletions
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>