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 · Fixed by #1432
Closed

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

qubitron opened this issue Apr 9, 2018 · 0 comments · Fixed by #1432
Assignees
Labels
area-terminal feature-request Request for new features or functionality
Milestone

Comments

@qubitron
Copy link

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 feature-request Request for new features or functionality needs PR area-terminal labels Apr 9, 2018
@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
@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.
Labels
area-terminal feature-request Request for new features or functionality
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants