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
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.
The text was updated successfully, but these errors were encountered:
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
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
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.
The text was updated successfully, but these errors were encountered: