diff --git a/src/editor/simple/about.html b/src/editor/simple/about.html index 910745b13..5e6b17c98 100644 --- a/src/editor/simple/about.html +++ b/src/editor/simple/about.html @@ -54,7 +54,7 @@ in the grammar display: %=Edit an item. These are revealed when hovering over items. On touch devices, hovering is in some cases simulated by tapping, but there is also a button at the bottom -of the display to "Enabile editing on touch devices" that reveals all editing +of the display to "Enable editing on touch devices" that reveals all editing symbols.
@@ -69,7 +69,7 @@ browser, so once you have opened the web page, you can At the moment, the editor supports only a small subset of the GF grammar notation. Proper error checking is done for abstract syntax, but not (yet) for concrete -syntax. The resource grammar library is not available. +syntax.
The grammars created with this editor always consists of one file for the @@ -170,9 +170,16 @@ Grammars are currently stored locally in the browser, but a future version could allow grammars to be stored "in the cloud", allowing the same grammars to be accessed from multiple devices. +