minibar: resolve conflict

1 files changed, 4 insertions, 25 deletions

diff --git a/src/runtime/javascript/minibar/minibar.html b/src/runtime/javascript/minibar/minibar.html
index 61fc49791..a6bc8f085 100644
--- a/src/runtime/javascript/minibar/minibar.html
+++ b/src/runtime/javascript/minibar/minibar.html
@@ -29,31 +29,10 @@ HTML <!-- hhmts start --> Last modified: Wed Aug  3 15:09:58 CEST 2011 <!-- hhmt
 <a href="http://www.cse.chalmers.se/~hallgren/">TH</a>
 <img src="http://www.altocumulus.org/~hallgren/online.cgi?icon" alt=""></address>
 
-<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: ["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");
+<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>
+<script type="text/javascript" src="minibar_online.js"></script>
 
 </body>
 </html>