-
-
Notifications
You must be signed in to change notification settings - Fork 2.1k
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
Feature: Added experimental terminal integration #13631
base: main
Are you sure you want to change the base?
Conversation
The main point to figure out before merging is whether the terminal is global, or if there can be a separate terminal for each tab & pane. I lean towards the second option (similar to VS Code). |
Holding off while @hez2010 checks if it's possible to use Windows Terminal control. |
Added ability to have more than one terminal 😇 |
Switching between terminals is working nicely! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I would just add localized text and tooltip to the buttons 😊
-ms-content-zooming: none; | ||
} | ||
|
||
#terminal-container { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@yaira2 you might want to try here.
border-radius: 8px;
Resolved / Related Issues
Closes Feature: Add terminal Integration #6235
Validation
How did you test these changes?
Screenshots (optional)