You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This should be either checked on request, warned when violated agains, or enforced. Should also be API callable, for e.g. an export that needs C compatible names.
Generally, command names with spaces should not necessary trigger warnings (only if requested). The export formats disallowing spaces should fix them.
The text was updated successfully, but these errors were encountered:
For the command names in the remote editor, there should be selectable, configurable naming schemes, e.g.
This should be either checked on request, warned when violated agains, or enforced. Should also be API callable, for e.g. an export that needs C compatible names.
Generally, command names with spaces should not necessary trigger warnings (only if requested). The export formats disallowing spaces should fix them.
The text was updated successfully, but these errors were encountered: