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

minibar_online.js: updated to launch Editor using a GrammarManager object

Browse Source
This commit is contained in:
john.j.camilleri
2012-11-23 15:07:51 +00:00
parent d9867893f8
commit 22aeb04704
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -27,10 +27,11 @@
&amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] &amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
</small> </small>
<small class=modtime> <small class=modtime>
HTML <!-- hhmts start -->Last modified: Wed Nov 21 15:50:29 CET 2012 <!-- hhmts end --> HTML <!-- hhmts start -->Last modified: Fri Nov 23 16:07:35 CET 2012 <!-- hhmts end -->
</small> </small>
<address> <address>
<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/support.js"></script>
<script type="text/JavaScript" src="minibar.js"></script> <script type="text/JavaScript" src="minibar.js"></script>
<script type="text/JavaScript" src="minibar_input.js"></script> <script type="text/JavaScript" src="minibar_input.js"></script>

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

@@ -49,7 +49,8 @@ if(window.Editor) // Syntax editor loaded?
} }
} }
minibar.minibar.style.display="none" // Hide the minibar minibar.minibar.style.display="none" // Hide the minibar
var editor=new Editor(server,editor_options) var gm = new GrammarManager(server);
var editor=new Editor(gm,editor_options)
} }
if(/^\?\/tmp\//.test(location.search)) { if(/^\?\/tmp\//.test(location.search)) {