-
Notifications
You must be signed in to change notification settings - Fork 29.7k
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
Test: Terminal editors #127192
Comments
The term "Terminal Editor" sounds rather strange. |
@weinand sounds good to me, "Terminal Editor" is the internal term and that was the first command we added to get started. We're using this "in editor area/group" in this command and the context menus already: |
Refs: #10546 #125514
Complexity: 5
Authors: @Tyriar, @meganrogge
Create Issue
Terminals can now be moved to editor groups, there are a few ways to do this:
Create Terminal Editor
orMove Terminal into Editor Group
commands"terminal.integrated.defaultLocation": "editor"
Before creating issues please read the philosophy section of the plan item to get an understanding of what's expected - feedback is welcome of course.
Please do some exploratory testing around the editors, here are some things to get you started and keep an eye on:
The text was updated successfully, but these errors were encountered: