mojira.dev
MC-149047

Scroll Sensitivity slider label uses OS locale for number formatting

See attached screenshot.
Code analysis by @unknown can be found here.

Attachments

Comments 1

Can confirm in 1.19.

Code analysis (yarn 1.19)
In GameOptions we can find the following line:

GameOptions.java

this.mouseWheelSensitivity = new SimpleOption<>("options.mouseWheelSensitivity", SimpleOption.emptyTooltip(), (optionText, value) -> getGenericValueText(optionText, (Text)Text.literal(String.format("%.2f", new Object[] { value }))), /* omitted */);

This uses String.format without explicit locale. This causes it to format using system locale instead. Fixing this is straightforward; just replace it with String.format(Locale.ROOT, "%.2f".

[Mod] redstonehelper

(Unassigned)

Confirmed

UI

Minecraft 1.14 Pre-Release 5, Minecraft 1.14.3, Minecraft 1.14.4 Pre-Release 5, Minecraft 1.14.4 Pre-Release 6, 1.14.4, 19w45b, 1.19

1.19.1 Pre-release 5

Retrieved