diff options
| author | hallgren <hallgren@chalmers.se> | 2011-08-22 17:03:47 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-08-22 17:03:47 +0000 |
| commit | d45b9edcd808d10041fec8a5d7bad4a74de24ddc (patch) | |
| tree | c34afbd0995ad4c2a344c799cb3d64dd743ffcc2 /src/server/RunHTTP.hs | |
| parent | 3afefb0ac9aaaf15eb421424856bbf21e90f4153 (diff) | |
minibar: quick fix to allow literals to be entered.
If you press Enter, the current word will be accepted, even if there are no
matching completions.
(You can now use names of people when constructing sentences in the Letter
grammar, for example.)
Diffstat (limited to 'src/server/RunHTTP.hs')
0 files changed, 0 insertions, 0 deletions