Closed danionita closed 7 years ago
Also, the only allowed letters are alphanumeric. So, a-z, A-Z, 0-9. (from the metalanguage pdf)
Oh man. Apparently according to the manual spaces are not allowed in names. However for markup purposes they are used sometimes...? Maybe we should allow spaces in this notation: 'Subscription fee'.VALUATION
?
That explains why names were kept separate from labels in the old tool I guess. I think there is no reason for us to enforce this though.
Best regards, Dan Ionita
On Oct 2, 2016 5:02 PM, "Bob Rubbens" notifications@github.com wrote:
Oh man. Apparently according to the manual spaces are not allowed in names. However for markup purposes they are used sometimes...? Maybe we should allow spaces in this notation: 'Subscription fee'.VALUATION?
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/danionita/e3tools/issues/66#issuecomment-250975708, or mute the thread https://github.com/notifications/unsubscribe-auth/AKjEpHlzFsKBnhaHhkkNGacrVfBTOZfdks5qv8eggaJpZM4KK6NL .
As of a commit I made this weekend unique names are enforced in the editor.
Elements with pre-defined names (such as actors) have a (1), (2), ... appended. Elements with default null names get
2char+uid
as name, where 2char is a 2-character abbreviation of its type.