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

Add Ctrl+Enter keyboard shortcut for run selection in terminal #1349

Closed
qubitron opened this issue Apr 9, 2018 · 0 comments
Closed

Add Ctrl+Enter keyboard shortcut for run selection in terminal #1349

qubitron opened this issue Apr 9, 2018 · 0 comments

Comments

@qubitron
Copy link

@qubitron qubitron commented Apr 9, 2018

Many have commented that we should have Ctrl+Enter for run selection in terminal. This would be nice improvement to make alongside #1207.

@qubitron qubitron added this to the April 2018 milestone Apr 9, 2018
@DonJayamanne DonJayamanne self-assigned this Apr 9, 2018
DonJayamanne added a commit that referenced this issue Apr 23, 2018
Fixes #1207
Fixes #1316
Fixes #1349
Fixes #259
@lock lock bot locked as resolved and limited conversation to collaborators Jul 11, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

2 participants