diff options
| author | hallgren <hallgren@chalmers.se> | 2011-07-26 15:03:33 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-07-26 15:03:33 +0000 |
| commit | 9d547fbdca865785d23c1211610391d39464d507 (patch) | |
| tree | 5ea057b7f8354482160b67561cbecea242481295 /src | |
| parent | 0f7743992b1816ba0bddffe4c7c122469c47e32b (diff) | |
gfse: about: added a note that each grammar has a unique identity independent of its name
Diffstat (limited to 'src')
| -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 19a264a01..050812ca3 100644 --- a/src/editor/simple/about.html +++ b/src/editor/simple/about.html @@ -195,6 +195,11 @@ cloud from multiple devices, the last upload wins. Thus the current implementation is suitable for a single user switching between different devices, but not recommended for sharing grammars between multiple users. +<p> +Also <strong>note</strong> that each grammar is assigned a unique identity +when it is created. Renaming a grammar does not change its identity. This means +that name changes are propagated between devices like other changes. + <h3>Future work</h3> This prototype gives an idea of how a web based GF grammar editor could work. @@ -220,7 +225,7 @@ suitable for multiple users developing a grammar in collaboration. <hr> <div class=modtime><small> -<!-- hhmts start --> Last modified: Thu Jul 7 18:55:55 CEST 2011 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Tue Jul 26 17:01:22 CEST 2011 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> |