editor command sequence

This commit is contained in:
aarne
2005-06-03 21:44:36 +00:00
parent 4312f79c6f
commit 2a8edb3c3f
3 changed files with 49 additions and 26 deletions

View File

@@ -14,6 +14,14 @@ Changes in functionality since May 17, 2005, release of GF Version 2.2
<p>
4/6 (AR) Sequence of commands in the Java editor GUI now possible.
The commands are separated by <tt> ;; </tt> (notice the space on
both sides of the two semicolons). Such a sequence can be sent
from the "GF Command" pop-up field, but is mostly intended
for external processes that communicate with GF.
<p>
3/6 (AR) The format <tt>.gfe</tt> defined to support
<b>grammar writing by examples</b>. Files of this format are first
converted to <tt>.gf</tt> files by the command