diff options
| author | hallgren <hallgren@chalmers.se> | 2010-04-19 16:48:26 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-04-19 16:48:26 +0000 |
| commit | d1088d12bc6649522f01eca741146a4ab99f5db2 (patch) | |
| tree | d44b244befc2fc8b2107b65599f86e41362ce1e3 /src/runtime/javascript/minibar/minibar.html | |
| parent | bc504835d2a960268560302014d3acf8b0bac631 (diff) | |
Some work on minibar:
1. Menu for choosing target language.
2. Pass options when calling start_minibar.
See about.html for more details.
Diffstat (limited to 'src/runtime/javascript/minibar/minibar.html')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/runtime/javascript/minibar/minibar.html b/src/runtime/javascript/minibar/minibar.html index 246a68214..345c91e0a 100644 --- a/src/runtime/javascript/minibar/minibar.html +++ b/src/runtime/javascript/minibar/minibar.html @@ -6,7 +6,7 @@ <script type="text/JavaScript" src="minibar.js"></script> </head> -<body onload="start_minibar()"> +<body onload="start_minibar({show_abstract:false, show_trees: false})"> <h1>Minibar</h1> <div id=minibar> </div> @@ -18,7 +18,7 @@ & <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] </small> <small class=modtime> -HTML <!-- hhmts start --> Last modified: Tue Feb 23 20:25:50 CET 2010 <!-- hhmts end --> +HTML <!-- hhmts start --> Last modified: Mon Apr 19 18:16:40 CEST 2010 <!-- hhmts end --> </small> <address> <a href="http://www.cs.chalmers.se/~hallgren/">TH</a> |