gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
2019-11-21	Minibar: make it possible to configure a list of preferred grammars	Thomas Hallgren
	A preferred grammar is selected when a user visits the Minibar for the first time. (Like before, Minibar remembers the selected grammar for future visits.) A preferred list of grammars can be specified in config.js in the .../minibar directory on the server, e.g. like this: preferred_grammars=["/grammars/Foods.pgf","/grammars/ResourceDemo.pgf"] The first available grammar from the list is used.
2019-08-05	Minibar can now display grammar documentation.	Thomas Hallgren
	The documentation is taken from a file called Grammar.pgf_info, located next to the Grammar.pgf file on the server. The first line of the documentation is displayed below the menu bar in the minibar. The rest of the documentation is displayed when you press the "More info" button (or the "i" button). The documentation can contain HTML markup. Blank lines are treated as paragraph breaks.
2013-04-02	minibar: remember the selected set of target langauges	hallgren

2013-04-02	minibar: abstract syntax trees are now shown with or without category names	hallgren
	Function names are always shown.
2013-03-28	minibar: show abstract syntax trees without or with function names	hallgren
	Click once to show abstract syntax trees without function names. Click again to add function names.
2013-03-27	minibar: documentation update	hallgren

2013-03-26	minibar: documentation update	hallgren

2012-11-29	minibar: add a button to get detailed grammar info	hallgren
	After pressing the "i" button to view grammar info, there is now a "More info" button to get more detailed information about all categories and functions in the grammar.
2012-11-29	minibar: add tool tips to some of the buttons	hallgren
	Also move the functions title and attr from editor/editor.js to js/support.js. Also mention recent changes in minibar/about.html.
2012-11-27	some documentation updates and fixes	hallgren
	doc/Makefile: add a rule to regenerate gf-help-full.txt gf-help-full.txt: updated (new parse tree visualization options) demo & cloud index: clarifications minibar documentation: better layout on mobile devices GF 3.4 release notes: reorganized & updated
2012-11-20	GF cloud: move support.js and pgf_online.js	hallgren
	Created the folder js and moved minibar/support.js and minibar/pgf_online.js there, to emphasize their status as app independent support libraries. There are probably more files that should be moved here. The cloud apps have been updated, externally hosted apps that link directly to our server need to be updated too.
2012-09-09	minibar: fix links to Wikipedia article on JSONP	hallgren
	Wikipedia moved it.
2012-08-27	minibar documentation updates	hallgren

2012-04-19	Minibar documentation update	hallgren
	Document recent additions in minibar/about.html.
2012-02-29	gfse & minibar: minor style adjustments	hallgren

2012-02-29	gf -server: update start page, add links to some documentation	hallgren

2012-02-13	gfse & minibar: small fixes	hallgren

2012-02-10	gfse&minibar: select the right grammar in minibar when invoked from gfse	hallgren
	The grammar that the user is currently working is now the one shown initially in minibar, instead of the first grammar in alphabetical order. Also GFServer.hs now removes absolute paths to the grammar files on the server in error messages from GF returned to to gfse.
2011-10-18	minibar: adding a start category menu	hallgren
	+ The start category menu can be turned off by passing the option {startcat_menu:false} when starting the minibar. + Documentation updates.
2011-10-12	Improvements of "gf -server" mode and related setup	hallgren
	"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.