summaryrefslogtreecommitdiff
path: root/src/www/minibar/minibar.html
AgeCommit message (Collapse)Author
2018-10-10Comment out links to some old demos that no longer workThomas Hallgren
2016-06-09minibar: define grammar_list in config.js to restrict the grammar menuhallgren
minibar.html now reads config.js and if it defines grammar_list, only the grammars listed there will show up in the grammar menu.
2015-05-18minibar: speech output (experimental) (in browsers that support it)hallgren
2013-04-12GF cloud: work on syntax editor integrationhallgren
+ The syntax editor is now accessible from the Simple Translaton Tool. + The minibar now automatically provides access to the syntax editor (provided the necessary JavaScript files and style sheets have been loaded). + Preparations for making the syntax editor accessible from the grammar editor.
2013-04-11minibar.html: add debug elementhallgren
to allow debug output from the syntax editor when it is started from the minibar. Also fix broken markup.
2013-04-03Simple Translation Tool: initial support for editing source segments in the ↵hallgren
minibar
2012-11-23minibar_online.js: updated to launch Editor using a GrammarManager objectjohn.j.camilleri
2012-11-21minibar+syntax editor integration, work in progresshallgren
2012-11-20GF cloud: move support.js and pgf_online.jshallgren
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-04-27minibar: word-for-word replacements: use concrete syntax for replacement ↵hallgren
words when possible Instead of showing the name of a function in the abstract syntax, linearize it and show the result. For functions with argument, e.g. That : Kind -> Item, the function is applied to the right number of placeholder arguments: 'That ?'. If the linearization fails, the name of the function is shown anyway.
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.
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.