diff options
Diffstat (limited to 'src/runtime/javascript/minibar/minibar.html')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.html | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/src/runtime/javascript/minibar/minibar.html b/src/runtime/javascript/minibar/minibar.html index 345c91e0a..1d80deb53 100644 --- a/src/runtime/javascript/minibar/minibar.html +++ b/src/runtime/javascript/minibar/minibar.html @@ -4,9 +4,21 @@ <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"> + +var my_options= { + server: "http://www.grammaticalframework.org:41296", + //server: "http://tournesol.cs.chalmers.se:41296", + //server: "http://localhost:41296", + //grammar_list: ["Foods.pgf"], + show_abstract: false, + show_trees: true, + show_grouped_translations: false +} +</script> </head> -<body onload="start_minibar({show_abstract:false, show_trees: false})"> +<body onload="start_minibar(my_options)"> <h1>Minibar</h1> <div id=minibar> </div> @@ -18,7 +30,7 @@ & <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] </small> <small class=modtime> -HTML <!-- hhmts start --> Last modified: Mon Apr 19 18:16:40 CEST 2010 <!-- hhmts end --> +HTML <!-- hhmts start --> Last modified: Fri Apr 30 16:48:36 CEST 2010 <!-- hhmts end --> </small> <address> <a href="http://www.cs.chalmers.se/~hallgren/">TH</a> |