Skip to content

Improve printing of encoded unicode chars #5764

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 2 commits into from
Jan 21, 2019
Merged

Improve printing of encoded unicode chars #5764

merged 2 commits into from
Jan 21, 2019

Conversation

@nicolasstucki
Copy link
Contributor

@nicolasstucki nicolasstucki commented Jan 21, 2019 •
edited
Loading

Decode Unicode characters encoded as $uXXXX in the RefinedPrinter.

@nicolasstucki nicolasstucki self-assigned this Jan 21, 2019
@nicolasstucki nicolasstucki requested a review from smarter January 21, 2019 14:37
@nicolasstucki nicolasstucki merged commit cb0ebac into scala:master Jan 21, 2019
@nicolasstucki nicolasstucki deleted the improve-unicdode-printing branch January 21, 2019 16:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@smarter smarter smarter approved these changes

Assignees

@nicolasstucki nicolasstucki

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@nicolasstucki @smarter