Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Name tags for nodes and states #8

Open
jaantollander opened this issue Sep 5, 2020 · 0 comments
Open

Name tags for nodes and states #8

jaantollander opened this issue Sep 5, 2020 · 0 comments
Labels
enhancement New feature or request

Comments

@jaantollander
Copy link
Contributor

Nodes and states should have optional name tags that would be displayed when printing results. Tags are strings, preferably a maximum of 3 characters long, and default to the node or state index value. We should warn users that if they exceed the limit, the printing output may not display nicely.
@jaantollander jaantollander added the enhancement New feature or request label Sep 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jaantollander