GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

minibar: define grammar_list in config.js to restrict the grammar menu

Browse Source 
minibar.html now reads config.js and if it defines grammar_list, only the
grammars listed there will show up in the grammar menu.
This commit is contained in:
hallgren
2016-06-09 14:20:24 +00:00
parent 740cd9fdd0
commit 172f2d12da
2 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/www/minibar/minibar.html
View File

@@ -27,11 +27,12 @@
&amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
</small>
<small class=modtime>
HTML <!-- hhmts start -->Last modified: Mon May 18 17:31:07 CEST 2015 <!-- hhmts end -->
HTML <!-- hhmts start -->Last modified: Thu Jun 9 16:13:26 CEST 2016 <!-- hhmts end -->
</small>
<div id="debug" class="hidden"></div>
<script type="text/javascript" src="config.js"></script> <!-- optional -->
<script type="text/JavaScript" src="../js/grammar_manager.js"></script>
<script type="text/JavaScript" src="../js/support.js"></script>
<script type="text/JavaScript" src="../js/localstorage.js"></script>

2
src/www/minibar/minibar_online.js
View File

@@ -7,6 +7,8 @@ var online_options={
//grammar_list: ["Foods.pgf"], // leave undefined to get list from server
}
if(window.grammar_list) online_options.grammar_list=grammar_list
var minibar_options= {
show_abstract: true,
show_trees: true,