diff options
| author | hallgren <hallgren@chalmers.se> | 2012-04-05 15:25:10 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-04-05 15:25:10 +0000 |
| commit | 8b6817754b8158648255997ddc3ab28b6d2f5241 (patch) | |
| tree | 12fa8ac47e48ab5f5f9bdff2e25a681505eb2e4c /WebSetup.hs | |
| parent | 43c28ad2769f914e7a21860efee34c8566fc610d (diff) | |
minibar&gfse: grammar extension user interface fixes
It works OK now, but it could be better, e.g. the number of mouse clicks
required to enter an extension could to be reduced...
Diffstat (limited to 'WebSetup.hs')
0 files changed, 0 insertions, 0 deletions