minibar: small code and documentation tweaks

1 files changed, 25 insertions, 0 deletions

diff --git a/src/runtime/javascript/minibar/minibar_online.js b/src/runtime/javascript/minibar/minibar_online.js
new file mode 100644
index 000000000..6d15a306b
--- /dev/null
+++ b/src/runtime/javascript/minibar/minibar_online.js
@@ -0,0 +1,25 @@
+// minibar_demo.js, assumes that minibar.js and pgf_online.js have been loaded.
+
+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
+}
+
+
+if(/^\?\/tmp\//.test(location.search)) {
+  online_options.grammars_url=location.search.substr(1);
+}
+
+var server=pgf_online(online_options);
+
+var minibar_options= {
+  show_abstract: true,
+  show_trees: true,
+  show_grouped_translations: false,
+  default_source_language: "Eng",
+//feedback_url: "feedback.html",
+  try_google: true
+}
+var minibar=new Minibar(server,minibar_options,"minibar");