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/runtime/javascript/gfjseditor.js | |
| 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/runtime/javascript/gfjseditor.js')
0 files changed, 0 insertions, 0 deletions