summaryrefslogtreecommitdiff
path: root/src/www/minibar/support.js
AgeCommit message (Collapse)Author
2012-04-04minibar&gfse: first working grammar extension interface in minibarhallgren
There are still some user interface wrinkles to iron out.
2012-04-01support.js: add an implementation of Array.isArray for older browsers that ↵hallgren
lack it
2012-03-29gfse&minibar: work in progress on grammar extension fromminibarhallgren
2012-03-26gfse&minibar: fix bug caused by function name clashhallgren
+ Function div_id was defined in both editor.js and support.js. Solution: moved the more general version from editor.js to support.js. + Function div_class was defined in both editor.js and support.js. Solution: resolv incompatibility with an argument type test and put the generalized function in support.js.
2012-03-22pgf_online.js: error callbackshallgren
To enable customized error handling, the methods in the pgf_online objects and the AJAX server call functions in support.js accept an error callback function as an extra argument, in addition to the callback (continuation) for normal results.
2012-02-22gfse: some refactoringhallgren
2011-10-18minibar: add a button to show some grammar infohallgren
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.