Closed
Description
openedon 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.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
