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

REPL: Moving left and right was skipping newlines #7253

Merged
merged 1 commit into from
Jun 13, 2014

Conversation

mbauman
Copy link
Member

@mbauman mbauman commented Jun 13, 2014

Issue #7210 fixed movement across combining characters, such that moving left
and right by one character would skip all zero-width characters, but this also
inadvertently includes newlines. This made it impossible to navigate to the end
of a line that ended with a newline with the left and right arrows alone. And movement across multiple newlines would skip across them all at once.

This fixes that and adds simple regression tests.

cc: @Keno

Issue JuliaLang#7210 fixed movement across combining characters, such that moving left
and right by one character would skip all zero-width characters, but this also
inadvertently includes newlines. This made it impossible to navigate to the end
of a line that ended with a newline with the left and right arrows alone. And movement across multiple newlines would skip across them all at once.

This fixes that and adds simple regression tests.
Keno added a commit that referenced this pull request Jun 13, 2014
REPL: Moving left and right was skipping newlines
@Keno Keno merged commit 87d40e2 into JuliaLang:master Jun 13, 2014
@Keno
Copy link
Member

Keno commented Jun 13, 2014

Awesome, thanks!

@mbauman mbauman deleted the char-move-skips-newlines branch June 13, 2014 21:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants