summaryrefslogtreecommitdiff
path: root/src/www/gfse/editor.css
AgeCommit message (Collapse)Author
2012-06-11GF home page: link to GF clouds service (cloud.grammaticalframework.org)hallgren
Also some small cloud service documentation updates.
2012-04-19minibar & cloud service: minor style changeshallgren
Also include the GF logo on the cloud service start page.
2012-04-05minibar&gfse: grammar extension user interface fixeshallgren
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...
2012-04-04minibar&gfse: first working grammar extension interface in minibarhallgren
There are still some user interface wrinkles to iron out.
2012-03-29gfse&minibar: work in progress on grammar extension fromminibarhallgren
2012-02-29gfse & minibar: minor style adjustmentshallgren
2012-02-24gfse: text mode tweakshallgren
2012-02-22gfse: layout fixhallgren
Style options inteded for some buttons used in example-based editing was unintensionally applied to some other OK/Cancel buttons as well.
2012-02-16gfse: style sheet fixeshallgren
2012-02-15gfse: more work on grammar extensionhallgren
Grammars can now inherit from several other grammars. Hovering over a catagory name in a function type in the abstract syntax shows where the category was inherited from.
2012-02-13gfse: better integration of the minibarhallgren
The minibar is now displayed inside the editor, intead of on a separate page. This makes the context clearer and makes it more obiovous how to return to the editor.
2012-02-10gfse: stay on the same page when compiling grammarshallgren
The link to the minibar (or compiler errors) are now shown below the grammar on the same page. If you go to the minibar, you only have to press the back button once to get back to the editor. Also some output formatting changes in GFServer.hs.
2012-02-09gfse: initial support for module extensionhallgren
There is a new way to create a new grammar based on an existing grammar: by extending it. (It is also possible to clone an existing grammar, a before.)
2011-11-21gfse: example-based: some usability improvementshallgren
Instead of showing nothing, show disabled buttons and some expanatory text to provide guidance for users getting started with example-based grammar writing.
2011-10-12Improvements of "gf -server" mode and related setuphallgren
"gf -server" mode now contains everything needed to run the minibar and the grammar editor (including example-based grammar writing). The Setup.hs script installs the required files where gf -server can find them. These files have been moved to a new directory: src/www. The separate server program pgf-http is now obsolete.