Skip to content

BREAKING: rename many user options#170

Merged
Samillion merged 4 commits intomainfrom
dev_opts_rename
Nov 4, 2024
Merged

BREAKING: rename many user options#170
Samillion merged 4 commits intomainfrom
dev_opts_rename

Conversation

@Samillion
Copy link
Owner

@Samillion Samillion commented Nov 4, 2024

Reason:
Many of the user options were remnants of the past and edited/added by multiple people, which made it seem random.

This ensures consistency and readability, to make you understand what the option does just by its label.

@Samillion Samillion merged commit 82880b3 into main Nov 4, 2024
@Samillion Samillion deleted the dev_opts_rename branch November 4, 2024 08:19
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

Successfully merging this pull request may close these issues.

1 participant