gfse: stay on the same page when compiling grammars

The link to the minibar (or compiler errors) are now shown below the grammar
on the same page. If you go to the minibar, you only have to press the back
button once to get back to the editor.
Also some output formatting changes in GFServer.hs.
This commit is contained in:
hallgren
2012-02-10 17:26:02 +00:00
parent a6acb994e8
commit 53e5308d74
5 changed files with 49 additions and 16 deletions

View File

@@ -120,7 +120,12 @@ function open_grammar(i) {
edit_grammar(g);
}
function close_grammar(g) { save_grammar(g); draw_grammar_list(); }
function close_grammar(g) {
var o=element("compiler_output");
if(o) o.innerHTML="";
save_grammar(g);
draw_grammar_list();
}
function reload_grammar(g) { save_grammar(g); edit_grammar(g); }
function save_grammar(g) {
@@ -143,8 +148,8 @@ function draw_grammar(g) {
function draw_namebar(g,files) {
return div_class("namebar",
[table([tr([td(draw_name(g)),
td_right([draw_plainbutton(g,files),
upload_button(g),
td_right([upload_button(g),
draw_plainbutton(g,files),
draw_closebutton(g)])])])])
}