summaryrefslogtreecommitdiff
path: root/src/www/syntax-editor
AgeCommit message (Collapse)Author
2012-11-22minibar: can now switch back to the minibar after switching to the syntax editorhallgren
This is done by including a lin_action when starting the syntax editor from the minibar. Also: added some minibar options in the syntax editor for consistency...
2012-11-22Syntax editor: can now load minibar (in-place) from a linearised treejohn.j.camilleri
2012-11-21minibar+syntax editor integration, work in progress 2hallgren
+ Transfer current astract syntax tree when activating the syntax editor from the minibar. + Add options to start the minibar with given input. You need to include the current grammar url, the current language and the input, like this: initial_grammar: "/grammars/Foods.pgf", initial: { from: "FoodsEng", input:["that","fish","is","fresh"]} + Fix a style sheet clash.
2012-11-21Syntax editor: start with initial ASTjohn.j.camilleri
Note that the argument has been renamed to initial.abstr (Where abstr means an abstract syntax tree in string form, NOT an AST object)
2012-11-21minibar+syntax editor integration, work in progresshallgren
2012-11-21Syntax editor: start with initial grammar, startcat, to: languagesjohn.j.camilleri
2012-11-20Syntax editor: update to use common js filesjohn.j.camilleri
2012-11-20Syntax editor: random generation of trees (and subtrees!)john.j.camilleri
2012-11-16Syntax editor: work on importing AST as string (eg for generate random)john.j.camilleri
But it's still not complete. Need an efficient way of getting the cat info to accompany funs.
2012-11-16Syntax editor: select subset of available languagesjohn.j.camilleri
Also added a basic readme file with a list of todo's
2012-11-15Syntax editor: jump to next hole in treejohn.j.camilleri
2012-11-15Syntax editor: fix bug in Firefox, Seamonkeyjohn.j.camilleri
2012-11-13Add first demo of new syntax editorjohn.j.camilleri
As part of the GF cloud stuff, it can be accessed from http://cloud.grammaticalframework.org/syntax-editor/editor.html