GF cloud: work on syntax editor integration

+ The syntax editor is now accessible from the Simple Translaton Tool.
+ The minibar now automatically provides access to the syntax editor (provided
  the necessary JavaScript files and style sheets have been loaded).
+ Preparations for making the syntax editor accessible from the grammar editor.

1 files changed, 2 insertions, 1 deletions

diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js
index f3f5bf98f..11ba18b37 100644
--- a/src/www/gfse/editor.js
+++ b/src/www/gfse/editor.js
@@ -370,6 +370,7 @@ function compile_button(g,err_ind) {
 function minibar_button(g,files,err_ind,comp_btn) {
     var b2;
     var minibar_div=div_id("minibar");
+    var editor_div= div_id("syntax_editor");
 
     function page_overlay(inner) {
 	return wrap_class("table","page_overlay",tr(td(inner)))
@@ -530,7 +531,7 @@ function minibar_button(g,files,err_ind,comp_btn) {
 
     function goto_minibar() {
 	clear(files);
-	files.appendChild(minibar_div);
+	appendChildren(files,[minibar_div,editor_div]);
 	var online_options={grammars_url: local.get("dir")+"/",
 			    grammar_list: [g.basename+".pgf"]}
 	var pgf_server=pgf_online(online_options)