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.

Sign up for GitHub

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

Jump to bottom

Align Terminal Command Ids with VS Code #12084

Closed
tsmaeder opened this issue Jan 18, 2023 · 0 comments · Fixed by #12134
Closed

Align Terminal Command Ids with VS Code #12084

tsmaeder opened this issue Jan 18, 2023 · 0 comments · Fixed by #12134
Assignees
@tsmaeder
Labels
terminal issues related to the terminal vscode issues related to VSCode compatibility

Comments

@tsmaeder
Copy link
Contributor

Feature Description:

Currently, the command ids of terminal-related commands are not aligned with VS Code: for example, we have teminal:new instead of workbench.action.terminal.new.

The list of terminal-related commands in VS Code can be found in the "Keyboard Shortcut" preferences.
@tsmaeder tsmaeder added terminal issues related to the terminal vscode issues related to VSCode compatibility labels Jan 18, 2023
@tsmaeder tsmaeder mentioned this issue Jan 18, 2023
Merged
1 task
@tsmaeder tsmaeder changed the title Align Terminal Commnad Ids with VS Code Align Terminal Command Ids with VS Code Jan 19, 2023
@tsmaeder tsmaeder self-assigned this Jan 19, 2023
tsmaeder added a commit to tsmaeder/theia that referenced this issue Jan 30, 2023
@tsmaeder
Align terminal command ids with VS Code. Fixes eclipse-theia#12084
09841e6 
Contributed on behalf of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
tsmaeder added a commit to tsmaeder/theia that referenced this issue Jan 31, 2023
@tsmaeder
Align terminal command ids with VS Code. Fixes eclipse-theia#12084
a85241b 
Contributed on behalf of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
@tsmaeder tsmaeder mentioned this issue Feb 1, 2023
Merged
1 task
tsmaeder added a commit that referenced this issue Feb 8, 2023
@tsmaeder
Align terminal command ids with VS Code. Fixes #12084 (#12134)
ec6bf6c 
* Align terminal command ids with VS Code. Fixes #12084

Contributed on behalf of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tsmaeder tsmaeder

Labels
terminal issues related to the terminal vscode issues related to VSCode compatibility
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Align terminal command ids with VS Code. Fixes #12084 tsmaeder/theia
1 participant
@tsmaeder