forked from GitHub/gf-core
Some work on minibar:
1. Menu for choosing target language. 2. Pass options when calling start_minibar. See about.html for more details.
This commit is contained in:
@@ -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>
|
||||
|
||||
Reference in New Issue
Block a user