diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-26 14:11:12 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-26 14:11:12 +0000 |
| commit | 818faee27e8c6fde5fc6b2cac9151667f67b1503 (patch) | |
| tree | 28a5ac8931be09c37ddb0541857322f324cc3a4d /src/runtime/javascript/gflib.js | |
| parent | 18c8ff357978f7fd050751baaae62d36025374c0 (diff) | |
gfse: more readable layout for not so simple grammars + bug fix
To make definitions that span multiple lines more readable in guided mode,
preserve line breaks and indentation when lin and oper definitions are
displayed and edited in guided mode.
Bug fix: moving the cursor by clicking and selecting text by dragging did
not work in textareas and input fields, because those mouse event were
intercepted by the sort-by-drag-and-drop handler.
Diffstat (limited to 'src/runtime/javascript/gflib.js')
0 files changed, 0 insertions, 0 deletions
