From a0ec59ccdad4507c7ff63317d8aad70394f927e5 Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 3 Aug 2011 14:24:47 +0000 Subject: minibar: small code and documentation tweaks --- src/runtime/javascript/minibar/minibar_online.js | 25 ++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 src/runtime/javascript/minibar/minibar_online.js (limited to 'src/runtime/javascript/minibar/minibar_online.js') 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"); -- cgit v1.2.3