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. +
+Also note 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. +