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.

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

For World.doSubscription, chances actually seem very good that the generated key will provide enough uniqueness without a user-provided name. #955

Open
bryanedds opened this issue Feb 17, 2025 · 0 comments
Labels
imnui investigation a topic involving investigation

Comments

@bryanedds
Copy link
Owner

Looking at how ImNui programs shape up in practice, I don't really see many legitimate scenarios where the user-provided name for World.doSubscription will actually be needed. If this can be determined to be true and we can be sure we generate useful errors in the cases the generated keys are non-unique, we might just remove the name parameter entirely.

@bryanedds bryanedds added imnui investigation a topic involving investigation labels Feb 17, 2025
@bryanedds bryanedds changed the title For World.doSubscription, chances actually seem extremely good that the generated key will provide enough uniqueness without the user-provided name. For World.doSubscription, chances actually seem extremely good that the generated key will provide enough uniqueness without a user-provided name. Feb 17, 2025
@bryanedds bryanedds changed the title For World.doSubscription, chances actually seem extremely good that the generated key will provide enough uniqueness without a user-provided name. For World.doSubscription, chances actually seem very good that the generated key will provide enough uniqueness without a user-provided name. Feb 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
imnui investigation a topic involving investigation
Projects
None yet
Development

No branches or pull requests

1 participant