hallgren 117ae47436 minibar: remember current input ...

If you leave the minibar and later return, the previous input will be
restored. One input string per grammar is rememebered, so you can also switch
back and forth between grammars without losing the input.
This is implemented using localStorage, i.e. the data is stored locally on
the user's device.

2012-04-03 14:53:23 +00:00

..

compiler

Workaround for bug in ghc-7.2.2

2012-03-26 23:56:56 +00:00

example-based

example-based: bug fix: apply UTF-8 decoding to CGI inputs

2011-11-21 15:15:49 +00:00

runtime

simple cleanup in the robust parser

2012-04-02 19:01:18 +00:00

server

gf-server.cabal: mtl is needed to build pgf-server now

2012-04-02 15:58:21 +00:00

tools

Created a new page documenting available editor modes for GF

2011-09-20 12:41:32 +00:00

ui

fix the grammar browser in the editor

2011-03-08 12:32:51 +00:00

www

minibar: remember current input

2012-04-03 14:53:23 +00:00