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

custom SETTINGS settings #729

Open
devsnek opened this issue Dec 15, 2023 · 0 comments
Open

custom SETTINGS settings #729

devsnek opened this issue Dec 15, 2023 · 0 comments

Comments

@devsnek
Copy link

devsnek commented Dec 15, 2023

I'd like to use settings that aren't supported by this library. Experimenting locally it seems fairly trivial to track custom settings in a (u16, u32) map. I'd be happy to contribute the change. One thing I wonder is whether you should have to specify settings IDs that you will accept, so that a misbehaved remote cannot fill up your local settings with 65k entries.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant