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

Alternative keys for Ctrl-W & Page-Down #238

Closed
wants to merge 1 commit into from
Closed

Alternative keys for Ctrl-W & Page-Down #238

wants to merge 1 commit into from

Conversation

ghost
Copy link

@ghost ghost commented Sep 9, 2017

less uses Alt-Space for Page-Down and Alt-Backspace seems common for Ctrl-W ...

@mptre
Copy link
Owner

mptre commented Sep 11, 2017

Loooks good. @calleerlandsson thoughts?

@calleluks
Copy link
Collaborator

Looks good. I'm happy that supporting alternative key-bindings is so easy now!

@mptre
Copy link
Owner

mptre commented Sep 11, 2017

Looks good. I'm happy that supporting alternative key-bindings is so easy now!

Indeed!

Merged with some modifications as 7d0a568.

@mptre mptre closed this Sep 11, 2017
@ghost
Copy link
Author

ghost commented Sep 11, 2017

Cool! Thanks for merging!

@ghost ghost deleted the altkeys branch September 11, 2017 17:21
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