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

Added ctrl/shift hotkey support to textbox. #1076

Merged
merged 2 commits into from
Jul 3, 2020

Conversation

vkahl
Copy link

@vkahl vkahl commented Jul 3, 2020

New key commands:
Ctrl + Arrow keys -> jump words
Ctrl + Shift + Arrow keys -> select words
Ctrl + Backspace/Delete -> delete words
Shift + Home/End -> select to home/end

Consecutive non-alphanumeric characters are skipped when jumping words.
The behaviour matches the firefox url bar.

Valentin Kahl added 2 commits July 3, 2020 02:35
New key commands:
Ctrl + Arrow keys -> jump words
Ctrl + Shift + Arrow keys -> select words
Ctrl + Backspace/Delete -> delete words
Shift + Home/End -> select to home/end

Consecutive non-alphanumeric characters are skipped when jumping words.
The behaviour matches the firefox url bar.
Copy link
Contributor

@raphlinus raphlinus left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for this. It's likely we'll have some changes in this area, but in the meantime these look like nice, useful improvements.

@raphlinus raphlinus merged commit d4c575c into linebender:master Jul 3, 2020
@vkahl
Copy link
Author

vkahl commented Jul 3, 2020

Thanks for merging this 😃
Unfortunately I forgot to correct the PR number in the changelog. It sais 1063 and is not linked to anything. Sorry for that!

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