Skip to content

Conversation

@DanTup
Copy link
Member

@DanTup DanTup commented Feb 24, 2020

This seems to fix an issue with some unicode characters becoming "broken" which is likely when their bytes split across buffers and we convert them to strings before joining back together.

Fixes #2140.

@DanTup DanTup added is bug fix in editor Relates to code editing or language features labels Feb 24, 2020
@DanTup DanTup added this to the v3.9.0 milestone Feb 24, 2020
This seems to fix an issue with some unicode characters becoming "broken" which is likely when their bytes split across buffers and we convert them to strings before joining back together.

Fixes #2140.
@DanTup DanTup force-pushed the fix-format-encoding-issue branch from bf26781 to d0c40e2 Compare February 24, 2020 15:35
@DanTup DanTup merged commit 4b88fd2 into master Feb 25, 2020
@DanTup DanTup deleted the fix-format-encoding-issue branch February 25, 2020 12:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

in editor Relates to code editing or language features is bug fix

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Some unicode characters are replaced with bad characters when formatting document

2 participants