From d35790e656fe70f0fa258fb8fb84aa65f9887616 Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 12 Apr 2013 18:29:15 +0000 Subject: 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. --- src/www/gfse/editor.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/www/gfse/editor.js') 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) -- cgit v1.2.3