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: a small change to make easy to select an alternate grammar directory

Browse Source
This commit is contained in:
hallgren
2011-01-27 22:23:15 +00:00
parent 95055e8cd8
commit bfc91294e1
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/runtime/javascript/minibar/minibar.html
View File

@@ -27,7 +27,7 @@ This page doesn't works unless JavaScript is enabled.
&amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
</small>
<small class=modtime>
HTML <!-- hhmts start --> Last modified: Tue Jan 11 14:15:22 CET 2011 <!-- hhmts end -->
HTML <!-- hhmts start --> Last modified: Thu Jan 27 21:58:51 CET 2011 <!-- hhmts end -->
</small>
<address>
<a href="http://www.cse.chalmers.se/~hallgren/">TH</a>
@@ -42,6 +42,11 @@ var online_options={
//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= {