Skip to content

Conversation

@emilk
Copy link
Owner

@emilk emilk commented Jun 30, 2024

It's easy to include whitespace when copy-pasting values. Also, some formatters use half-spaces as thousands separators.

It's easy to include whitespace when copy-pasting values.
Also, some formatters use half-spaces as thousands separators.
@emilk emilk added the egui label Jun 30, 2024
@emilk emilk merged commit 6222e03 into master Jun 30, 2024
@emilk emilk deleted the emilk/forgiving-parser branch June 30, 2024 12:34
hacknus pushed a commit to hacknus/egui that referenced this pull request Oct 30, 2024
emilk#4739)

It's easy to include whitespace when copy-pasting values. Also, some
formatters use half-spaces as thousands separators.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants