From ba3a497e41cbf4bcb0854f4caef5cbb489af352a Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Tue, 11 Dec 2012 09:42:57 +0000 Subject: Syntax editor: add about.html (and a Makefile for generating it) --- src/www/syntax-editor/about.html | 112 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 112 insertions(+) create mode 100644 src/www/syntax-editor/about.html (limited to 'src/www/syntax-editor/about.html') diff --git a/src/www/syntax-editor/about.html b/src/www/syntax-editor/about.html new file mode 100644 index 000000000..a05d1dd20 --- /dev/null +++ b/src/www/syntax-editor/about.html @@ -0,0 +1,112 @@ + + + + +About the syntax editor + + + + + +

GF web-based syntax editor

John J. Camilleri
December 2012

An improved version of the old syntax editor.

Example usage

See editor.html and editor_online.js.

Available startup options

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

Options	Description	Default
target	+ +	"editor"
initial.grammar	Initial grammar URL, e.g. `"http://localhost:41296/grammars/Foods.pgf"`	+ +
initial.startcat	Initial startcat	(grammar default)
initial.languages	Initial linearisation languages, e.g. `["Eng","Swe","Mlt"]`	(all)
initial.abstr	Initial abstract tree (as string), e.g. `"Pred (That Fish) Expensive"`	+ +
show_grammar_menu	Show grammar menu?	True
show_startcat_menu	Show startcat menu?	True
show_to_menu	Show languages menu?	True
show_random_button	Show random button?	True
show_import	Show import button/panel?	True
show_export	Show export button?	True

Notes

Tested with latest Chrome and Firefox (only).

To do/feature requests

Compatibility with grammars with dependent category types
Clicking on tokens to select tree node
Clipboard of trees
Usage of printnames
Enter string/float/int literals
more prominence to Disamb-linearizations
show all resulting linearizations/variants
undo/redo (or back/forward) navigation
structure fridge magnets more (eg newline before the magnet whose first letter is different)

Known bugs

Change startcat doesn't work when given an initial startcat

+ + + + -- cgit v1.2.3