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

Add the variable case node instead of being hidden #5674

Merged
merged 6 commits into from
Oct 16, 2023

Conversation

TheLimeGlass
Copy link
Collaborator

@TheLimeGlass TheLimeGlass commented May 5, 2023

Description

The configuration node case-insensitive variables: true is hidden, so this pull requests makes it not hidden. See related issue for a valid reasoning.


Target Minecraft Versions: any
Requirements: none
Related Issues: #2163

@TheLimeGlass TheLimeGlass added the enhancement Feature request, an issue about something that could be improved, or a PR improving something. label May 5, 2023
@Moderocky Moderocky added the feature-ready A PR/issue that has been approved, tested and can be merged/closed in the next feature version. label Sep 17, 2023
@TheLimeGlass TheLimeGlass changed the base branch from master to dev/feature September 26, 2023 07:06
@AyhamAl-Ali
Copy link
Member

AyhamAl-Ali commented Sep 27, 2023

Little note on this but it may be out-of-scope yet it's very related, for flexibility this shouldn't convert variables to lowercase when set to true INSTEAD it should do equalsIgnoreCase otherwise when toggling it on/off this will cause lots of issues as it does permanent damage/change.

Adding to that, this PR doesn't really fix the mentioned issue, this only shows the option but the behavior is still as described above.

src/main/resources/config.sk Outdated Show resolved Hide resolved
@TheLimeGlass TheLimeGlass merged commit 58b9f0b into dev/feature Oct 16, 2023
5 checks passed
@TheLimeGlass TheLimeGlass deleted the enhancement/variable-case branch October 16, 2023 04:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Feature request, an issue about something that could be improved, or a PR improving something. feature-ready A PR/issue that has been approved, tested and can be merged/closed in the next feature version.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants