6 Commits

Author	SHA1	Message	Date
hallgren	b126a28cc5	gfse: better integration of the minibar ... 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-13 17:31:39 +00:00
hallgren	4c0e8c18c7	minibar: bug fix: accidental reference to global variable "server"	2012-02-13 17:25:37 +00:00
hallgren	6b29296060	gfse&minibar: select the right grammar in minibar when invoked from gfse ... 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.	2012-02-10 15:24:59 +00:00
hallgren	26b8df5cf5	minibar: adding a start category menu ... + The start category menu can be turned off by passing the option {startcat_menu:false} when starting the minibar. + Documentation updates.	2011-10-18 15:21:49 +00:00
hallgren	d63724ed50	minibar: add a button to show some grammar info	2011-10-18 14:34:00 +00:00
hallgren	44d1a5a9f7	Improvements of "gf -server" mode and related setup ... "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.	2011-10-12 17:03:54 +00:00