diff options
| author | hallgren <hallgren@chalmers.se> | 2011-05-06 15:24:45 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-05-06 15:24:45 +0000 |
| commit | c207175e983bdb10e160310d3285a979dd66b4ea (patch) | |
| tree | ace49d22eec830ff490efa17e79c7abfdffaba3a /src/editor/simple/about.html | |
| parent | a01d18dd33573fdcdc0f5ddb10be49efb78409d2 (diff) | |
gfse: you can now add concrete syntax for arbitrary languages
Before, you had to pick a language from a list of supported languages, but now
you can also pick Other and change the language code afterwards.
Diffstat (limited to 'src/editor/simple/about.html')
| -rw-r--r-- | src/editor/simple/about.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/editor/simple/about.html b/src/editor/simple/about.html index 5c9f88879..40d9df347 100644 --- a/src/editor/simple/about.html +++ b/src/editor/simple/about.html @@ -137,6 +137,11 @@ Also, is usually easier than creating something new from scratch. (If the abstract syntax is currently open, the new conrete syntax will start out empty.) + <li>When adding a new concrete syntax, you normally pick one of the supported + languages from a list. The language code and the file name is determined + automatically. But you can also pick <em>Other</em> from the list and change + the language code afterwards to add a concrete syntax for a language + that is not in the list. </ul> Error checks: @@ -180,7 +185,7 @@ to be accessed from multiple devices. <hr> <div class=modtime><small> -<!-- hhmts start --> Last modified: Mon Mar 28 16:24:24 CEST 2011 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Fri May 6 17:24:02 CEST 2011 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> |