diff options
| author | hallgren <hallgren@chalmers.se> | 2012-04-24 17:13:33 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-04-24 17:13:33 +0000 |
| commit | c69f69ee9c176322e9d385e5d103e8f05247b6b2 (patch) | |
| tree | c787c8a45168ac28c0750f6cb00377aeea493bc4 /src/runtime | |
| parent | 9d47b83e076dafdb3d75ac7213dfc0ba993f1899 (diff) | |
minibar&gfse: grammar extension user interface improvements
The grammar extension is now done with a regular HTML form, so you can use the
TAB key to move between the fields and press ENTER to submit the extension when
you are done.
TODO: more immediate error feedback
Diffstat (limited to 'src/runtime')
0 files changed, 0 insertions, 0 deletions