From 1146b94685331341a2b16ad27ef76b5d7612cb3d Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Tue, 23 Apr 2013 13:55:00 +0000
Subject: [PATCH] gfse: add access to the syntax editor

via the minibar
---
 src/www/gfse/index.html    | 10 ++++++++--
 src/www/minibar/minibar.js |  1 +
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/src/www/gfse/index.html b/src/www/gfse/index.html
index 12f50ef7e..0eb76be46 100644
--- a/src/www/gfse/index.html
+++ b/src/www/gfse/index.html
@@ -4,8 +4,9 @@
 <title>GF online editor for simple multilingual grammars</title>
 <meta charset="UTF-8">
 <link rel="stylesheet" type="text/css" href="editor.css" title="Cloud">
-<link rel="stylesheet" type="text/css" href="../minibar/minibar.css">
 <link rel="alternate stylesheet" type="text/css" href="molto.css" title="MOLTO">
+<link rel="stylesheet" type="text/css" href="../minibar/minibar.css">
+<link rel="stylesheet" type="text/css" href="../syntax-editor/editor.css">
 
 <link rel=author href="http://www.cse.chalmers.se/~hallgren/" title="Thomas Hallgren">
 
@@ -33,7 +34,7 @@ This page does not work without JavaScript.
 <hr>
 <div class=modtime><small>
 HTML
-<!-- hhmts start -->Last modified: Fri Apr 12 20:22:01 CEST 2013 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Tue Apr 23 14:05:30 CEST 2013 <!-- hhmts end -->
 </small></div>
 <a href="about.html">About</a>
 <pre id=debug></pre>
@@ -53,5 +54,10 @@ HTML
 <script type="text/JavaScript" src="../minibar/minibar_input.js"></script>
 <script type="text/JavaScript" src="../minibar/minibar_translations.js"></script>
 <script type="text/JavaScript" src="../minibar/minibar_support.js"></script>
+
+<script type="text/javascript" src="../js/grammar_manager.js"></script>
+<script type="text/javascript" src="../syntax-editor/ast.js"></script>
+<script type="text/javascript" src="../syntax-editor/editor_menu.js"></script>
+<script type="text/javascript" src="../syntax-editor/editor.js"></script>
 </body>
 </html>
diff --git a/src/www/minibar/minibar.js b/src/www/minibar/minibar.js
index fa572cfa8..a82c60198 100644
--- a/src/www/minibar/minibar.js
+++ b/src/www/minibar/minibar.js
@@ -92,6 +92,7 @@ Minibar.prototype.integrate_syntax_editor=function() {
 	var languages=filter(not_all,minibar.translations.toLangs)
 	var editor_options = {
 	    target: editor_target,
+            show_grammar_menu: minibar.grammars.length>1,
 	    show_startcat_menu: minibar.input.options.startcat_menu,
 	    initial: { grammar: minibar.grammar_menu.value, // hmm
 		       startcat: minibar.input.startcat_menu.value, // hmm