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

reset all dev options #423

Open

RustoMCSpit opened this issue Jan 5, 2024 · 1 comment

Labels

category-ui type-enhancement

RustoMCSpit commented Jan 5, 2024

let the user click a button which resets all dev options back to defaults

agateau added type-enhancement category-ui labels

Owner

agateau commented Jan 5, 2024

This is a good idea. Would save some time hunting down modified settings 👍.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment