Skip to content

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

Closed
#1432
Closed
Add Ctrl+Enter keyboard shortcut for run selection in terminal#1349
#1432
Assignees
DonJayamanne
Labels
area-terminalfeature-requestRequest for new features or functionality
Milestone
April 2018

Description

@qubitron
Dan Taylor (qubitron)
opened on 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.

Activity

  1. Dan Taylor (qubitron)
    added
    feature-requestRequest for new features or functionality
    needs PR
    area-terminal
    on Apr 9, 2018
  2. Dan Taylor (qubitron)
    added this to the April 2018 milestone on Apr 9, 2018
  3. Don Jayamanne (DonJayamanne)
    self-assigned this
    on Apr 9, 2018
  4. Don Jayamanne (DonJayamanne)
    closed this as completedin #1432on Apr 23, 2018
  5. Don Jayamanne (DonJayamanne)
    added a commit that references this issue on Apr 23, 2018

    Enhancements to running code in a terminal (#1432)

    55f5ca5
  6. lock
    locked as resolved and limited conversation to collaborators on Jul 11, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

area-terminalfeature-requestRequest for new features or functionality

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions