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

edits after a wide characters can get out of sync #7

Open
jvasileff opened this issue Feb 26, 2017 · 2 comments
Open

edits after a wide characters can get out of sync #7

jvasileff opened this issue Feb 26, 2017 · 2 comments
Labels

Comments

@jvasileff
Copy link
Owner

Testing with 𝐙 ({#01D419}), and starting with:

shared void run() {
    print("𝐙");
}

typing code after the print statement results in an error:

shared void run() {
    print("𝐙"); print("edit");
}

screen shot 2017-02-26 at 10 31 43 am

@jvasileff jvasileff added the bug label Feb 26, 2017
@jvasileff
Copy link
Owner Author

See microsoft/language-server-protocol#19 for the definition of a character.

@jvasileff
Copy link
Owner Author

The LSP now specifies that offsets are in 16-bit code units, whereas Ceylon's characters are 32-bit code points. So the text replacement code should probably use java.lang.String rather than ceylon.language::String.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant