diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-21 16:58:18 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-21 16:58:18 +0000 |
| commit | 2eddc116e676b249d300e930263255bfab057622 (patch) | |
| tree | 83102f3dc9445701ffeb3444722558b5398ac6a6 /src/runtime/javascript/gfjseditor.js | |
| parent | 5403e31264f25c5a2d93d978a6a2ed66eb9a1929 (diff) | |
gfse: edit abstract syntax in text mode with instant syntax error reporting
This is an experimental feature. It requires server support for parsing and is
thus not available while offline, unlike most other editing functionality.
Diffstat (limited to 'src/runtime/javascript/gfjseditor.js')
0 files changed, 0 insertions, 0 deletions