diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-10 17:26:02 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-10 17:26:02 +0000 |
| commit | 73827b9bf7ed18ed9437b1214e9a01f81e227923 (patch) | |
| tree | 635923f0fb1ef4ad710e0c610a4102474bfa4b99 /src/www/gfse/editor.css | |
| parent | 6b29296060a0fcbc32ddb27fe56325bccff144e0 (diff) | |
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.
Diffstat (limited to 'src/www/gfse/editor.css')
| -rw-r--r-- | src/www/gfse/editor.css | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index 302548371..74d15345e 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -89,4 +89,6 @@ ul.languages { -moz-column-width: 20em; } li { margin-top: 0.5ex; margin-bottom: 0.5ex; } -#sharing h1, #sharing .footer { display: none; }
\ No newline at end of file +#sharing h1, #sharing .footer { display: none; } + +div.compiler_output .back_to_editor { display: none; } |