diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index 74d15345e..eab702d99 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -92,3 +92,9 @@ li { margin-top: 0.5ex; margin-bottom: 0.5ex; } #sharing h1, #sharing .footer { display: none; } div.compiler_output .back_to_editor { display: none; } + +div#minibar { + border: 1px solid black; + padding: 5px; + background: #ccc url("../minibar/brushed-metal.png"); +} diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index dca939ec8..77573c20c 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -148,7 +148,7 @@ function draw_grammar(g) { function draw_namebar(g,files) { return div_class("namebar", [table([tr([td(draw_name(g)), - td_right([minibar_button(g), + td_right([minibar_button(g,files), compile_button(g), draw_plainbutton(g,files), draw_closebutton(g)])])])]) @@ -203,10 +203,33 @@ function compile_button(g) { return b; } -function minibar_button(g) { +function minibar_button(g,files) { + var b2; + function show_editor() { edit_grammar(g); } function goto_minibar(res) { show_compile_error(res); - if(res.errorcode=="OK") location.href=res.minibar_url; + if(res.errorcode=="OK") { + //location.href=res.minibar_url; + files.innerHTML=""; + files.appendChild(div_id("minibar")); + var online_options={grammars_url: local.get("dir")+"/", + grammar_list: [g.basename+".pgf"]} + var pgf_server=pgf_online(online_options) + var minibar_options= { + show_abstract: true, + show_trees: true, + show_grouped_translations: false, + default_source_language: "Eng", + try_google: true + } + var minibar=new Minibar(pgf_server,minibar_options); + b.style.display="none"; + if(b2) b2.style.display=""; + else { + b2=button("Show editor",show_editor); + insertAfter(b2,b); + } + } } var b=button("Minibar",function(){upload(g,goto_minibar);}); b.title="Upload the grammar and test it in the minibar"; diff --git a/src/www/gfse/index.html b/src/www/gfse/index.html index a3b9559e9..bf439b1de 100644 --- a/src/www/gfse/index.html +++ b/src/www/gfse/index.html @@ -4,6 +4,7 @@