GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-06 17:52:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

Syntax editor: add about.html (and a Makefile for generating it)

Browse Source
This commit is contained in:
john.j.camilleri
2012-12-11 09:42:57 +00:00
parent 3182e382dc
commit 64d463dddf
3 changed files with 172 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

80
src/www/syntax-editor/README.md
View File

@@ -1,3 +1,13 @@
<!DOCTYPE html>
<html>
<head>
<title>About the syntax editor</title>
<link rel=stylesheet type="text/css" href="../minibar/minibar.css">
<link rel=stylesheet type="text/css" href="editor.css">
<meta charset="UTF-8">
</head>
<body class="syntax-editor">
# GF web-based syntax editor
John J. Camilleri
@@ -7,35 +17,55 @@ An improved version of the [old syntax editor][1].
[1]:http://www.grammaticalframework.org/~meza/restWiki/editor.html
## Notes
- Tested with latest Chrome and Firefox (only).
## 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|-|
|initial.languages|Initial linearisation languages, e.g. `["Eng","Swe","Mlt"]`|-|
|initial.abstr|Initial abstract tree (as string), e.g. `"Pred (That Fish) Expensive"`|-|
|show.grammar_menu|Show grammar menu?|true|
|show.startcat_menu|Show start category menu?|true|
|show.to_menu|Show languages menu?|true|
|show.random_button|Show random button?|true|
## Example usage
See `editor.html` and `editor_online.js`.
## Bugs
## Available startup options
- Change startcat doesn't work when given an initial startcat
+---------------------+--------------------------------------------------+--------+
|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, |(all) |
| |e.g. `["Eng","Swe","Mlt"]` | |
+---------------------+--------------------------------------------------+--------+
|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 |
| | | |
+---------------------+--------------------------------------------------+--------+
## TODO
## Notes
- Tested with latest Chrome and Firefox (only).
## To do/feature requests
- Import AST from text field
- Compatibility with grammars with dependent category types
- Clicking on tokens to select tree node
- Clipboard of trees
@@ -46,3 +76,9 @@ See `editor.html` and `editor_online.js`.
- 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
</body>
</html>