diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-13 15:24:05 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-13 15:24:05 +0000 |
| commit | fc897a909af265b11be606ae1149aff5e3beea28 (patch) | |
| tree | 52fb950d68a168d1c6453867ac9a1746c5919b5a /src/runtime/javascript/editor-grammar | |
| parent | 73827b9bf7ed18ed9437b1214e9a01f81e227923 (diff) | |
gfse: added a button to go directly from the editor to the minibar
If there is an error in the grammar, the error message is shown below the
grammar instead.
Also: GFServer.hs now returns compiler output in a JSON structure instead of
as a HTML page.
Diffstat (limited to 'src/runtime/javascript/editor-grammar')
0 files changed, 0 insertions, 0 deletions