Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
name_type [2013/08/06 19:24] admin created |
name_type [2013/08/06 19:46] admin |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| Names are automatically [[wp>Trimming_(computer_programming)|trimmed]] and spaces are automatically replaced by underscores ("_"). | Names are automatically [[wp>Trimming_(computer_programming)|trimmed]] and spaces are automatically replaced by underscores ("_"). | ||
| + | |||
| + | Names can be converted to [[String Type]] and vice-versa. | ||
| ===== GUI Editor ===== | ===== GUI Editor ===== | ||