summaryrefslogtreecommitdiff
path: root/src/www/minibar/minibar.html
AgeCommit message (Expand)Author
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
2012-04-27minibar: word-for-word replacements: use concrete syntax for replacement word...hallgren
2012-02-13gfse: better integration of the minibarhallgren
2011-10-12Improvements of "gf -server" mode and related setuphallgren